Official Git mirror of the SQLite source tree

ZeroOS: A Universal Modular Library OS for zkVMs

The Search Engine for Agents

Claude skills for Lean 4 theorem proving

RISC-V prover system

MCP server for the Rocq prover

Registry contracts curated by the 8004 team

The Ethereum Improvement Proposal repository

🥞 Pancake main features (farms, pools, IFO, lottery, profiles)

European build of Longfellow-ZK

Sablier programs on Solana

Virtual whiteboard for sketching hand-drawn like diagrams

a vault program on top of protocol-v2 for delegate-managed trades with customizable terms

The #Python framework for connecting AI agents to any onchain app on @solana-labs 🤖🐍

Multi-agent DeFi swarm for Solana research and execution.

Surfpool is where developers start their Solana journey.

Multi-party computation libraries written in Rust 🦀

Class instances for Coq inductive types with little boilerplate

Port of ERC-8004 agent registry standard to Solana.

A project to resurrect Unix on the PDP-7 from a scan of the original assembly code

Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.

Constant product AMM integrated with the OpenBook CLOB

The Python Anchor client.

Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart con…

Continuous auditing for Solana smart contracts, with Formal Verification & AI

A collection of useful .gitignore templates

Community edition of Nightfall_4