The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.

The ZK Compression Protocol For Solana

Mixnet for Ethereum

Pashov Audit Group Skills

Binary Proofs, Blazing Fast

A fast zero-knowledge proof system for key derivation and key encryption, for web and mobile.

Symbolic and concrete EVM execution engine

Abseil Common Libraries (C++)

A collection of 265 rules across 26 categories that AI coding agents can use to write idiomatic, fast, and safe Rust.

Functional programming in TypeScript

Neovim support for the Lean theorem prover

Emacs major mode for Lean 4

Simplicity Multisig

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

the blockchain for payments

Rust implementations of Ethereum Improvement Proposals (EIPs)

A cross-platform, safe, pure-Rust graphics API.

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

cryptology support for pysui SEAL feature

The Zenburn colour theme ported to Emacs

A Spark L2 wallet with FROST threshold signatures

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Confidential Transfers on Sui

Async-friendly QUIC implementation in Rust

PDF toolkit - split, merge, rotate, watermark, stamp and secure PDF pages and documents

Rust library for interacting with Bitcoin Core over JSONRPC

The Solarized colour theme, ported to Emacs.

Monokai for Emacs is a port of the popular TextMate theme Monokai by Wimer Hazenberg.