Stars
Cairo is the first Turing-complete language for creating provable programs for general computation.
Virtual whiteboard for sketching hand-drawn like diagrams
Bridge contracts for an L3/Appchain that settles on Starknet
Bitcoin & Lightning Network MCP Server.
An Obsidian plugin for day planning with a clean UI and a simple task format
A curated list of zkVM, zero-knowledge virtual machine
Empowering everyone to build reliable and efficient software.
A modern runtime for JavaScript and TypeScript.
A Rust library to interact with automated market makers across EVM chains.
High-performance, well-tested & documented core libraries for Ethereum, in Rust
ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation
A curated list of multi party computation resources and links.
Madara is a powerful hybrid Starknet client written in Rust.
The lazier way to manage everything docker
🦀 Small exercises to get you used to reading and writing Rust code!
A smarter cd command. Supports all major shells.
Minimal proxy for Rust contracts using the Stylus SDK
Modernity meets insane extensibility. The future of organizing your life in Neovim.