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

Self-hosted AI workspace.

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/

Clone of the Age of Empires II engine 🚀

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

Rust Smart Contracts on Arbitrum

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.

Everything required to run your own Base node

Fast filesystem snapshot and rollback tool for benchmarking

An awesome README template to jumpstart your projects!

QuantaAlpha transforms how you discover quantitative alpha factors by combining LLM intelligence with evolutionary strategies. Just describe your research direction, and watch as factors are automa…