Stars
Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
Specula: An agentic tool for finding deep bugs in system code using TLA+
LR11xx chip (LR1110 / LR1120 / LR1121) and SX126x chip (SX1261 / SX1262 / SX1268) SDK
Extremely fast, in memory, serialization, reflection, and RPC library for C++. JSON, BEVE, BSON, CBOR, CSV, JSONB, MessagePack, TOML, YAML, EETF
Ghidra is a software reverse engineering (SRE) framework
Firedancer is Jump Crypto's Solana validator software.
magic-trace collects and displays high-resolution traces of what a process is doing
kraze is a Kubernetes development environment manager that brings the familiar docker-compose developer experience to local Kubernetes development. It manages kind (Kubernetes in Docker) clusters a…
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
OpenOnload high performance user-level network stack
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
Embedded web server, with TCP/IP network stack, MQTT and Websocket
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.
Cairo is the first Turing-complete language for creating provable programs for general computation.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A lightweight C++20 serialization and RPC library