An extremely fast Python package and project manager, written in Rust.

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

An io_uring backed runtime for Rust

Implementation of the Cedar Policy Language

The Halo2 zero-knowledge proving system

A toolkit for polynomial IOPs (PIOPs)

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

An advanced fork of Nova (contact:@huitseeker)

A very simple stack based language interpreter in Rust

AWS Encryption SDK

Programming language implementation learning project

A tool that can be used to deploy and manager Apache ZooKeeper clusters/ensembles

Learn the Rust programming language by writing your own text editor using the Rust programming language.