Expo app boilerplate to ship mobile apps fast

🌟 For when you really just want to serve some files over HTTP right now!

DSPy: The framework for programming—not prompting—language models

A curated list of awesome commands, files, and workflows for Claude Code

Hurl, run and test HTTP requests with plain text.

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Record timestamped data on your life

A Noir circuit that mimics Solidity's ecrecover

barretenburg in rust (here we go)

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

Making client-side proving on mobile simple.

Rules and Knowledge to work better with agents such as Claude Code or Cursor

Rust bindings for the Python interpreter

Horizontally-scalable zkSNARKs for any iterated computation

Signet ecosystem crates

Formally Verified Arguments of Knowledge in Lean

Lightweight coding agent that runs in your terminal

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Extensions for the Zed editor

This is a curated list of all resources for learning and developing for the CTV+CSFS upgrade to Bitcoin

simple vault demo that can use CAT or CTV

Vibe. Prove. Verify.

SDK library to develop RAILGUN wallets