Agost Biro

ssh-askpass. ssh-askpass for macOS

kickstart.nvim. A launch point for your personal nvim configuration

peon-ping. Warcraft III Peon voice notifications (+ more!) for Claude Code, Codex, IDEs, and any AI agent. Stop babysitting your terminal. Employ a Peon today.

pprof-rs. A Rust CPU profiler implemented with the help of backtrace-rs

moss-kernel. Rust Linux-compatible kernel

swanky. A suite of Rust libraries for secure multi-party computation.

mpz. Multi-party computation libraries written in Rust 🦀

awesome-mpc. A curated list of multi party computation resources and links.

slippy. A simple and powerful linter for Solidity

aya. Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

cargo-check-deadlock. Find deadlocks in Rust code with Petri net model checking

turmoil. Add hardship to your tests

madsim. Magical Deterministic Simulator for distributed systems in Rust.

solx. LLVM-based Solidity compiler.

ccpm. Project management skill system for Agents that uses GitHub Issues and Git worktrees for parallel agent execution.

noir. Noir is a domain specific language for zero knowledge proofs

FLT. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

nanograd. Minimal automatic-differentiation engine written in Rust.

differential-datalog. DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

koboldcpp. Run GGUF models easily with a KoboldAI UI. One File. Zero Install.

principia. Rewriting Principia Mathematica in Lean

redb. An embedded key-value database in pure Rust

smart-order-router. TypeScript

rust-mpc. A Rust Multi-party Computation example

universal-router. Uniswap's Universal Router for NFT and ERC20 swapping

moka. A high performance concurrent caching library for Rust

mixdown. Mixdown is a multi-syntax markup specification that combines the best of XML, YAML, and Markdown for more effective AI prompting

anvil-zksync. In-memory node that can be used for integration testing and debugging.

0xparc-intro-book. Introductory lecture notes on programmable cryptography

rost. Rust programming in German.

nilvm. Rust

rust-rocksdb. rust wrapper for rocksdb

heed. Fully typed LMDB wrappers with minimum overhead 🐦

pathfinding. Pathfinding library for rust

lpn. Latent Program Network (from the "Searching Latent Program Spaces" paper)

zed. Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

lru-rs. An implementation of a LRU cache

spark-psm. Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.

rocq-of-rust. Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

storage-layout-extractor. A tool that performs extraction of storage layouts based on EVM bytecode.

solidity-testing-testing. Shell

fuzz-benchmarks. Solidity

SpacetimeDB. Development at the speed of light

sux-rs. Rust implementations of succinct data structures

snapchain. The open-source, canonical implementation of Farcaster's Snapchain network.

ajj. JSON-RPC, simplified, using tower and axum

shadow-reth. A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.

ponder. The backend framework for crypto apps

shovel. An Ethereum to Postgres indexer

cryo. cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

rollup-boost. Sidecar to Enable Rollup Extensions

git-remote-s3. Python

static-assertions. Ensure correct assumptions about constants, types, and more in Rust

labels.

formalising-mathematics. Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

arc-agi-benchmarking. Testing baseline LLMs performance across various models

steel. An embedded scheme interpreter in Rust

blart. Rust

mlx. MLX: An array framework for Apple silicon

ort. Fast ML inference & training for ONNX models in Rust

pavex. A backend framework for Rust professionals

linfa. A Rust machine learning framework.

malachite. Flexible BFT consensus engine in Rust

symbolica. Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

HoneyBadgerMPC. Robust MPC-based confidentiality layer for blockchains

cline. Autonomous coding agent as an SDK, IDE extension, or CLI assistant.

MP-SPDZ. Versatile framework for multi-party computation

stoffelMPC. Rust

scraper. HTML parsing and querying with CSS selectors

boringtun. Userspace WireGuard® Implementation in Rust

revm. Ethereum Virtual Machine written in rust that is fast and simple to use

deep_causality. Dynamic Causality in Rust

tinynmc. Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressions via a non-interactive computation phase.

freeciv. Freeciv is a Free and Open Source empire-building strategy game inspired by the history of human civilization. Upstream repository for the standalone Freeciv client and server. Report bugs and submit patches at https://redmine.freeciv.org/projects/freeciv

shapez.io. shapez is an open source base building game on Steam inspired by factorio!

Unciv. Open-source Android/Desktop remake of Civ V

glsmac. Unofficial open-source OpenGL/SDL2 reimplementation of Sid Meier's Alpha Centauri ( + Alien Crossfire )

lm.rs. Minimal LLM inference in Rust

zola. A fast static site generator in a single binary with everything built-in. https://www.getzola.org

TiddlyWiki5. A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

tarpc. An RPC framework for Rust with a focus on ease of use.

eurorust-template. Template for the Async workshop at EuroRust, with vendored dependencies

leanblueprint. plasTeX plugin to build formalization blueprints.

polars. Extremely fast Query Engine for DataFrames, written in Rust

VCV-io. Formalized Cryptography Proofs in Lean 4

awesome-vehicle-security. 🚗 A curated list of resources for learning about vehicle security and car hacking.

rubiks-cube-group. A formalization of the Rubik's cube group

kzg-rs. Rust implementation of KZG point evaluation

phantom-zone. Rust

lambda_calculus. A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

tonic-web-wasm-client. Rust implementation of grpc-web protocol that allows using tonic clients in browsers via webassembly.

LightDotSo. EVM Chain Abstraction

EzPC. C++

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

zenpower. Zenpower is Linux kernel driver for reading temperature, voltage(SVI2), current(SVI2) and power(SVI2) for AMD Zen family CPUs.

Quilibrium-Dashboard. Shell

ansible-restic. Ansible role for restic

gmp. Go language interface to GMP - GNU Multiprecision Library (golang)

num-prime. Generic and optimized primality test, factorization and various number theoretic functions with arbitrary precision based on `num`.

taiko-mono. A based rollup protocol for Ethereum🥁

uniffi-bindgen-go. Uniffi bindings generator for Golang

cryptol. Cryptol: The Language of Cryptography

hardhat-tracer. 🕵️ allows you to see internal calls, events and storage operations in the console

revm-inspectors. EVM Execution Hooks.

atuin. ✨ Making your shell magical

borgo. Borgo is a statically typed language that compiles to Go.

Beanstalk. A monorepo for the Beanstalk protocol, SDK, subgraphs and UI. Currently houses infra for the Basin protocol.

chia-blockchain. Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)

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

rpds. Rust persistent data structures

trie. Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles

cita_trie. Rust implementation of the Modified Patricia Tree (aka Trie).

ethereumjs-monorepo. Ethereum L1 Protocol Stack and EVM in TypeScript

mimalloc_rust. A Rust wrapper over Microsoft's MiMalloc memory allocator

study. Answers for practical material and small experiments all together, so its easier to link to friends.

Wesolowski-VDF. C#

chiavdf. Chia VDF utilities

light-poseidon. Poseidon hash implementation in Rust

edr-benchmark-results. A repository to store the results of the benchmarks we run for EDR

github-action-benchmark-results. Repository for showcasing results of https://github.com/benchmark-action/github-action-benchmark in a separate repository

github-action-benchmark. GitHub Action for continuous benchmarking to keep performance

fastcrypto. Common cryptographic library used in software at Mysten Labs.

vdf. An implementation of Verifiable Delay Functions in Rust

trackerslist. Updated list of public BitTorrent trackers

rust-libp2p. The Rust Implementation of the libp2p networking stack.

quic-rpc. A streaming rpc system based on quic

smart-contract-sanctuary. 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

quiche. 🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

s2n-quic. An implementation of the IETF QUIC protocol

quinn. Async-friendly QUIC implementation in Rust

core. MIRACL Core

faer-rs. Linear algebra foundation for the Rust programming language

boa. Boa is an embeddable Javascript engine written in Rust.

mpc. Secure Multi-Party Computation (MPC) framework written in Go. Implements two-party garbled circuits (Yao) and the Goldreich-Micali-Wigderson (GMW) protocol for secure computation.

fario. Farcaster command-line tools

sat-or-not. SAT or NOT, *the* hottest logic game available as a Farcaster Frame

frames.js. The fastest way to make Frames

git-extras. GIT utilities -- repo summary, repl, changelog population, author commit percentages and more

iai. Experimental one-shot benchmarking/profiling harness for Rust

libkzg. A minimal KZG polynominal commitment library with a Solidity verifier

UnsafeECC. POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors

lean4. Lean 4 programming language and theorem prover

verdi-raft. An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

math-comp. Mathematical Components

go-ethereum. Go implementation of the Ethereum protocol

verus. Verified Rust for low-level systems code

vimac. Productive macOS keyboard-driven navigation

py_ecc. Python implementation of ECC pairing and bn_128 and bls12_381 curve operations

maybe. The personal finance app for everyone

aws-lc-rs. aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

blstrs. Rust

kzg. a simple implementation of the KZG polynomial commitment scheme

botan. Cryptography Toolkit

botan-rs. :shrimp: Rust cryptography library

MIRACL. MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for elliptic curve cryptography (ECC).

cantrip. Practical extensions for standard Rust collections.

frost. Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

crrl. Rust library for cryptographic research

ed25519-unsafe-libs. List of unsafe ed25519 signature libs

fiat-crypto. Cryptographic Primitive Code Generation by Fiat

curves. Implementations of popular elliptic curves

Ed448-Goldilocks. Rust

quilibrium-node-exporter. Quilibrium Metrics for Prometheus

rust-toolchain-file. GitHub Action to install Rust's toolchain via rust-toolchain.toml

openzeppelin-contracts. OpenZeppelin Contracts is a library for secure smart contract development.

img-hasher. A fast image hash distance canculation library for nodejs

slang. Solidity compiler tooling by @NomicFoundation

automorph. RPC client and server library for Scala

twenty. The open alternative to Salesforce, designed for AI.

ansible-ubuntu-server-setup. Ansible playbooks to quickly set up a new Ubuntu server or VPS with security in mind.

ansible-vps-setup. An Ansible playbook to deploy a multi-purpose VPS.

mun. Source code for the Mun language and runtime.

bincode. A binary encoder / decoder implementation in Rust.

dialoguer. Rust utility library for nice command line prompts and similar things

inquire. A Rust library for building interactive prompts

hardhat. Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

type-safe-equality. Type safe equality for Scala 3

edr. An Ethereum development runtime implementation that can be reused to build new developer tools.

azul-tiles. TypeScript

homestar. Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementation nodes make up the IPFS network). It's written in Rust and is designed for performance and composability.

ethui. An Ethereum toolkit

filecoin-signing-tools. Filecoin Signing Library

react-components. TypeScript

wallet. Glif Wallet

metamask. Collection of tools for E2E testing metamask, metamask flask and metamask snaps.

iso-repo. Set of tools for ledger, passkeys, ucan, dids, signatures, base encoding

filsnap. ⨎ Metamask Filecoin Wallet

rust-magic-patterns. Magical Rust patterns laid out and simplified

arc-swap. Support atomic operations on Arc itself

reqwest-streams-rs. Provides json/csv/protobuf/arrow streaming support for reqwest HTTP client

axum-test-helper. Easy to use axum test client

core. High-performance, well-tested & documented core libraries for Ethereum, in Rust

insta. A snapshot testing library for rust

nesdie. no_std experimental SDK for NEAR Protocol

social-db. Social DB on NEAR

core-contracts. Core contracts: reference staking pool, lockup, voting, whitelist, multisig.

near-abi-rs. NEAR smart contract ABI primitives

cargo-near. Cargo extension for building Rust smart contracts on NEAR

near-sandbox. Easily run a local NEAR blockchain

near-workspaces-rs. Write tests once, run them both on NEAR TestNet and a controlled NEAR Sandbox local environment via Rust