The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A scrollable-tiling Wayland compositor.

a truly censorship-resistant alternative to Twitter that has a chance of working

Hypothesis-like property testing for Rust

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.

The symbolic execution engine powering the K Framework

A SIXEL encoder/decoder implementation derived from kmiya's sixel (https://github.com/saitoha/sixel).

Python interface for the SCIP Optimization Suite

Collaborative Programmable Music

Ethereum zkEVM book

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

ream: an Ethereum Lean client written in Rust

Minimal Note-Taking App

Ethereum Proof-of-Stake Consensus Specifications

A polished Dired with batteries included.

Lean Ethereum protocol specifications and test vector generation framework.

Clean, portable, tested implementations of post-quantum cryptography

A toolkit for polynomial IOPs (PIOPs)

A search engine for Lean 4 declarations

Peer-to-peer, editor-agnostic collaborative editing of local text files.

Interactive formal verification tool for Yul programs

Firedancer is Jump Crypto's Solana validator software.

A graphical tool for profiling parallel Haskell programs

An open-source, web-based viewer for zoomable images, implemented in pure JavaScript.

Library for parsing, generating, and analyzing LLZK code.