Starred repositories
FlashMemory DS-V4 Retriever: a lightweight retriever that sparsifies DeepSeek-V4 CSA KV-cache. Weights available on Hugging Face.
A tool for use with clang to analyze #includes in C and C++ source files
CMake for C++ Best Practices
Property-based testing for C++, built on Hypothesis
The property-based testing library for Python
DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.
Trackers gives you clean, modular re-implementations of leading multi-object tracking algorithms released under the permissive Apache 2.0 license. You combine them with any detection model you alre…
Python bindings for FFmpeg - with complex filtering support
An extremely fast Python linter and code formatter, written in Rust.
aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…
Hifiasm: a haplotype-resolved assembler for accurate Hifi reads
Miniscule cross-platform eventing, networking & crypto for async applications
websocket and http client and server library, with TLS support and very few dependencies
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Cell2Sentence: Teaching Large Language Models the Language of Biology
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
heavily vectorized c++17 compile time string encryption.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Scalable annotated de Bruijn graphs for DNA indexing, alignment, and assembly
Optimized Dynamic Genome/Graph Implementation: understanding pangenome graphs
generating hardware accelerators for pangenomic graph queries
Performance-portable, length-agnostic SIMD with runtime dispatch