Stars
A games launcher for GOG, Amazon and Epic Games for Linux, Windows and macOS.
A refreshingly simple data-driven game engine built in Rust
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
Experimental GPU kernels for Binius computations
Boa is an embeddable Javascript engine written in Rust.
Matt Van Horn's agentic engineering hacks, turned into durable Smithers workflows.
A smart contract implementation of the Ethereum light client sync protocol
Keystone Enclave (QEMU + HiFive Unleashed)
General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions
Better Discord enhances Discord desktop app with new features.
Declarative management of Agent Skills on Nix
A focused launcher for your desktop - native, fast, extensible
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..
The agent that grows with you
Sell Miller-Rabin probable primes to AI agents over x402. Go server, USDC on Base.
Development repository for the Triton language and compiler
Self-hosted background coding agents with full dev environments.
Open weight models to solve the issues with aging biomarker measurements detailed at https://x.com/nikhilyadala/status/2035920229889630486/
zk-autoresearch — autonomous LLM agent optimizing a production ZK prover via benchmark feedback loop. First known application of Karpathy's autoresearch pattern to a ZK proof system.
Edge is a high level, strongly statically typed, multi-paradigm domain specific language for the Ethereum Virtual Machine (EVM) built in Rust.
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Smart contracts for on-chain anonymous settlement.
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.