A GNOME👣 theme for Firefox🔥

Single-threaded asynchronous GUI runtime

Client side zero-knowledge proving.

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

Illegal rust

A Typst-friendly static Zettelkästen site generator.

Markdown Preview Language Server

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

A user friendly TUI for SQL databases. Written in python. Supports SQL server, Mysql, PostreSQL, SQLite, Turso and more.

A full featured, fast Command Line Argument Parser for Rust

Zero-copy deserialization framework for Rust

Monospaced bitmap fonts

Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf

Enkrypt: Ethereum, Polkadot and Web3 Wallet

A Git-compatible VCS that is both simple and powerful

TUI for Jujutsu/jj

Declarative schema migrations with schema-as-code workflows

Cron for containers

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

DOM-first, headless carousel for React

Prove your self

Implementation of pairing over BLS12-381 in Noir

Emulating Apple Silicon devices.

A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection

Yet another Rust algebraic effect library using generators

An API that allows to use shutter by exposing relevant API endpoints.

an experimental new programming language based on interaction nets

HVM3