Spec-driven development for AI coding assistants.

Modular SDK for building payload builders.

Turn Markdown into beautiful PDFs with Tideflow instantly - offline, portable desktop app

(Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS) protocol

An onchain battle secured by a VRF, Timelock Encryption, and MMRs.

An ultra-high performance and flexible EVM. Written in zig

Unified zkVM Interface & Toolkit

A new way to see and navigate directory trees : https://dystroy.org/broot

Ethereum zkEVM book

Computational tools for urban analysis

Rust async runtime based on io-uring.

A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than linear algebra.

The Ultimate ZK Proving Software Suite for Securing OP Rollups

Export your Apple Health data and turn them into insights and visualizations using A.I.

Demo project showing a single Rust codebase running on CPU and directly on GPUs

🏗️ The Signet Block Builder 🧱

C.A.R.P. - Claude Agent Registry Portal

Test harness for ui tests of compiler diagnostics

Efficient, performant, thread-safe bytes/string interning in Rust.

A powerful AI coding agent. Built for the terminal.

FAFO: Over 1 million TPS on a single node running EVM while still Merkleizing every block

RISC-V prover system for ZKsync OS

a lib

Seamless navigation between tmux panes and vim splits

Plue - Swift and Zig multi-agent coding assistant

AI-Powered, Non-Intrusive Terminal Assistant

AeroSpace is an i3-like tiling window manager for macOS