LLM inference in C/C++

Solidity, the Smart Contract Programming Language

mold: A Modern Linker 🦠

Nix, the purely functional package manager

Record and Replay Framework

The WebAssembly Binary Toolkit

Instant Kubernetes-Native Application Observability

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

The Stanford Builder

Kyoto Tycoon key-value store (and the underlying Kyoto Cabinet library)

Sandboxing for GNU Make has never been easier