Pinned Loading

1. o1-labs/o1js o1-labs/o1js Public

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 606 172

2. wasm-bindgen/walrus wasm-bindgen/walrus Public

   Walrus is a WebAssembly transformation library 🌊🐘

   Rust 523 85

3. o1-labs/proof-systems o1-labs/proof-systems Public

   The proof systems used by Mina

   Rust 460 145

4. code-airlock code-airlock Public

   Run Claude Code (or another coding agent) unattended, inside a disposable microVM, with its work committed to git so you can review everything from your host.

   Shell 20 1

5. MinaProtocol/mina MinaProtocol/mina Public

   Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

   OCaml 2.1k 585

6. agentrust-io/trace-spec agentrust-io/trace-spec Public

   TRACE: Trust Runtime Attestation and Compliance Evidence. Open attestation standard for agentic AI governance.

   Python 22 14