A new type of shell

Development at the speed of light

Bootstrap, build and deploy sBPF assembly programs with ease

Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…

A collection of formalized statements of conjectures in Lean.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

The Rust Implementation of the libp2p networking stack.

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Scheduling infrastructure for absolutely everyone.

Source code for xrpl.org including developer documentation

A refreshingly simple data-driven game engine built in Rust

A flight-compliant WebAssembly interpreter.

The open source coding agent.

Agentic orchestrator for parallel coding agents — plans tasks, spawns agents, and autonomously handles CI fixes, merge conflicts, and code reviews.

Agentic Coding for Builders who Ship

Easy to maintain open source documentation websites.

A Python library to interact with the XRP Ledger (XRPL) blockchain

a distributed memory and retrieval system for autonomous entities :)

Open source skill library for AI coding agents to write, optimize, and debug high performance compute kernels across CUDA, Triton, and quantized workloads.