Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Warp is an agentic development environment, born out of the terminal.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Rust / Wasm framework for creating reliable and efficient web applications

Build system optimized for JavaScript and TypeScript, written in Rust

Development at the speed of light

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

🤖 The Modern Port Scanner 🤖

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

A Beautiful Private and Secure Desktop Investment Tracking Application

⚙️🦀 Build modular and scalable LLM Applications in Rust

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Customize your git commit hashes!

Emerging smart contract language for the Ethereum blockchain.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

A hobby operating system, in Rust

Noir is a domain specific language for zero knowledge proofs

Production Quality contracts under open source licenses

A flexible toolkit for building real-time blockchains

An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage

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

Examples and helpers to build NFT contracts on CosmWasm

ream: an Ethereum Lean client written in Rust

A visual canvas and virtual machine for writing assembly to build cool things. Create machines and connect them together.

Portal network monitoring application.

Circom interpreter to arithmetic circuit description

proof of pdf

👽 Small exercises to get you used to ZK fundamentals!