A library that provides an embeddable, persistent key-value store for fast storage.

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

A brief computer graphics / rendering course

The Z3 Theorem Prover

Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive lea…

Open Source Communication Provider based on WebRTC and Cloud technologies

Warp speed Data Transfer (WDT) is an embeddedable library (and command line tool) aiming to transfer data between 2 systems as fast as possible over multiple TCP paths.

A high-performance, concurrent hash table

NoSQL data store using the SEASTAR framework, compatible with Redis

a memory-bound graph-theoretic proof-of-work system

The Click modular router: fast modular packet processing and analysis

Browser Plugin framework (NPAPI and ActiveX on Windows, Mac, and Linux)

A kernel driver to practice writing exploits against, as well as some example exploits using public techniques.

an architecture-independent decompiler to LLVM IR

A high performance, brokered messaging queue

fast SIMD-able JIT regular expression compiler

MALT is a MALloc Tracker to find where and how your made your memory allocations in C/C++/Fortran applications (and python in experimental status).

Code which loads custom ISA on Intel Haswell GPUs

Uncertainty for brute forcers during login.

Shuffle-based predicate matcher and all-round branch free swiss army chainsaw

Print out the call graph.

Get proxy settings from Internet Explorer

Just testing some audio generation code in Rust. This is not a serious project, but just a simple wrapper for RtAudio so that I can run some DSP routines and hear the output.