davidkorczynski Goto Github PK
Type: User
Company: https://adalogics.com
Bio: Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
Location: Oxford, UK
Type: User
Company: https://adalogics.com
Bio: Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
Location: Oxford, UK
An OCI container runtime monitor.
CFEngine Community
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
The code coverage tool for Python
A C++ header-only HTTP/HTTPS server and client library
static analysis of C/C++ code
The Python programming language
Open Container Initiative-based implementation of Kubernetes Container Runtime Interface
Roaring bitmaps in C (and C++)
Advanced DXTc texture compression and transcoding library
Fast CSV parser and writer for Modern C++
Simple CSV parser written in C
Library to create and manipulate traces in C
Native GraphQL Database with graph backend
Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.
Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.
DuckDB is an in-process SQL OLAP Database Management System
A lightweight and fast pure Python ECDSA library
A json parser for c++11 or above that aims to ensure the simplicity of the API while ensuring efficiency.
Cloud-native high-performance edge/middle/service proxy
Freeware Advanced Audio (AAC) Decoder faad2 mirror
fast-cpp-csv-parser
Fast function to parse strings into double (binary64) floating-point values, enforces the RFC 7159 (JSON standard) grammar: 4x faster than strtod
Fast and exact implementation of the C++ from_chars functions for float and double types: 4x to 10x faster than strtod, part of GCC 12 and WebKit/Safari
Fast C OBJ parser
Fast HTTP package for Go. Tuned for high performance. Zero memory allocations in hot paths. Up to 10x faster than net/http
Flexible I/O Tester
Fork of Flask-RESTPlus: Fully featured framework for fast, easy and documented API development with Flask
DEFLATE, gzip, and zlib bindings for Rust
The Fast Lexical Analyzer - scanner generator for lexing in C and C++
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.