Starred repositories
A protocol for connecting any editor to any agent
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
ZK proofs for responsible vulnerability disclosure on EVM.
ZK compliance SDK for banks, prove correctness without revealing data, powered by Celestia DA
Hyli is a high-performance blockchain with built-in privacy.
Turso is an in-process SQL database, compatible with SQLite.
Celestia/Cosmos SDK development workflows for Claude Code. 4 agents, 4 commands, 1 skill.
Ralph is an autonomous AI agent loop that runs repeatedly until all PRD items are complete.
A suite of local AI-powered command-line tools
ZeroOS: A Universal Modular Library OS for zkVMs
A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia
Celestia Data Availability Provider for Optimism Alt-DA Protocol.
Specification for the Execution Layer. Tracking network upgrades.
Android Demo App of an Encrypted DataStore replacement of EncryptedPreferences
🗝️🐝✨ Rust workspace for Keyhive and related crates
Madara is a powerful hybrid Starknet client written in Rust.
For contributing to upcoming newsletter issues.
Succinct proofs of complete blockchain consensus history, via recursive proofs.
High performance self-hosted photo and video management solution.