Professional Speedcubing/Training Timer

Drop-in replacement for `claude -p` that drives the interactive Claude Code TUI inside an in-process zmux PTY session.

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

OpenVM post-quantum signature verification PoC for leanSig

Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI

🐊 A pure zig implementation of TFHE Fully Homomorphic Encryption Scheme

Fixing bug disclosure's mechanism

A zero-knowledge virtual machine written in Zig, inspired by Jolt's lookup-based proving architecture.

Anthropic's original performance take-home, now open for you to try!

Ethereum primitives and cryptography

🐹 Clean, uninstall, analyze, optimize, and monitor your Mac from the terminal.

A high-performance Ethereum Virtual Machine implementation in Zig

a zig sdk that allows your code to run in a zkvm

A provable orderbook based on Hyli.

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

Implementation for https://eprint.iacr.org/2025/1300

Connect your browser to AI models. Just use Dia on Chrome, Arc or Firefox.

A TEE-based prover for Aztec transactions

An Ethereum Node built to run in Browser, Bun, Deno, and Node.js

Proving computational integrity of brainfuck ISA using STARKs

TIC-80 is a fantasy computer for making, playing and sharing tiny games.

a zero-knowledge proof-carrying code platform for Lean 4

Exports Apple Notes into Markdown using Rust and AppleScript