Flexible BFT consensus engine in Rust

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

educational python plonk implementation, based on vitalik's py_plonk

Cryptography Educational Foundations

A Rust library for polynomial commitments

A tiny ellliptic curve library

Paladin is a platform for building programmable privacy preserving tokens on EVM, with integrated client and wallet. Support for several privacy frameworks including ZKP tokens, issuer-backed token…

Anki is a smart spaced repetition flashcard program

Interfaces for Relations and SNARKs for these relations

rust raft with improvements

Writing an OS in Rust

Snap for managing VCs and DIDs in MetaMask

Proof of Concept implementation of did:ethr DID Linked Resources and an Anoncreds method

Build & ship backends without writing any infrastructure files.

📚 Learn to write an embedded OS in Rust 🦀

A macro to generate structures which behave like bitflags

Cargo subcommand to provide various options useful for testing and continuous integration.

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

anoncreds-rs

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

Safe Rust bridge for creating Erlang NIF functions

Peace of mind from prototype to production

Changelog makes world-class developer pods. This is our open source platform.

web development, streamlined

Decentralized Identity with Github

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

A reimplementation of LevelDB in Rust (no bindings).

Build fast web applications with Rust.

NewsBlur is a personal news reader that brings people together to talk about the world. A new sound of an old instrument.

cargo, make me a project