Copper is an operating system for robots - build, run, and replay your entire robot deterministically.

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

Inline Bitcoin scripts in Rust

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

A JavaScript library for accepting Bitcoin deposits with Interchain Deposits to any EVM-based or IBC-compatible blockchain, powered by Nomic.

Build frontend browser apps with Rust + WebAssembly. Supports server side rendering.

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

👁‍🗨 Rare and exotic sats

Serde serializable and deserializable trait objects

Typed distributed plugin registration

Link-time initialization, destruction, scattered data collection macros for Rust

To make fuzzing Rust easy

Count lines of LLVM IR per generic function

mold: A Modern Linker 🦠

🧟 Inject bugs and see if your tests catch them!

supply-chain security for Rust

High performance motor control

Analysis of various tricky Rust code

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Summary of mempool design, challenges, and proposals (re: fees)

Deterministic state machine engine written in Rust

Rhai - An embedded scripting language for Rust.

Source code for rib.rs

Seed node for Tendermint based chains

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

Tesla Light Show

Rust async runtime based on io-uring.