RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Lean 4 programming language and theorem prover

Project Management: Meeting notes and agenda items

Unix-like OS in Rust inspired by xv6-riscv

Docker automation for Ethereum nodes

Plasma Next

Contracts of EigenLayer

An embedded, in-memory, immutable, copy-on-write, key-value database engine

An embedded key/value database for Go.

Benchmarks for rust serialization frameworks

Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.

A small Wasm Runtime

Self-hosted AI coding assistant

Stable Diffusion web UI

The WebAssembly Binary Toolkit

The JavaScript / Wasm runtime that powers Cloudflare Workers

Web49: WebAssembly Interpeter

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Bitcoin Core integration/staging tree

An alternative full node bitcoin implementation written in Go (golang)

Full bitcoin solution written in Go (golang)

A list of programming languages implemented in Rust, for inspiration.

539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating System Kernel" which is available freely on <https://539kernel.…

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Pure Move implementation of U256 numbers

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

This repo contains the zkasm source code of the zkEVM

Common tests for all Ethereum implementations

Endo is a distributed secure JavaScript sandbox, based on SES

A simplified golang implementation of Ethereum's Modified Patricia Trie.