The P programming language.

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

Data Plane Development Kit

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.

The Free Software Media System - Server Backend & API

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.

mold: A Modern Linker 🦠

C++ library for zkSNARKs

A lightweight C++20 serialization and RPC library

Collection of blocklists to fill in the gaps

C++ bindings for liboqs

The QuantLib C++ library

Running large language models on a single GPU for throughput-oriented scenarios.

A python module for algorithmic trading and strategy validation

Financial data platform for analysts, quants and AI agents.