Philippe Dumonet

lean.nvim. Neovim support for the Lean theorem prover

stage0. A set of minimal dependency bootstrap binaries

superpowers. An agentic skills framework & software development methodology that works.

nanoclaw. A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs directly on Anthropic's Agents SDK

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

ora. Smart contract language with formal verification. Built with Zig for safety and performance

bumpalo. A fast bump allocation arena for Rust

nvim-autopairs. autopairs for neovim written in lua

edb. EDB: The Ethereum Project Debugger

sensei-ir. Sensei IR's old home. Now to be found in the monorepo.

huff2. The new huff compiler, with improved codegen, label semantics & error messages.

logos. Create ridiculously fast Lexers

fava. Fava - web interface for Beancount

evm-spilling. Rust

vyper-rs. A rust library to interact with the Vyper compiler!

ronkathon. Cryptography Educational Foundations

awesome-zkvm. A curated list of zkVM, zero-knowledge virtual machine

huff-neo. huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.

kirkmcdonald.github.io. Simple web-based calculator for the game Factorio.

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

mathlib4. The math library of Lean 4

sp1. SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

halmos. A symbolic testing tool for EVM smart contracts

ricv32i. Rust

allegedly. A fast Solidity compiler for EVM simulations, written in TypeScript

ariadne. [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate

EVMYulLean. Executable formal model of the EVM and Yul in Lean 4.

balls. A DSL for generating optimal EVM bytecode

v4-core. 🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

mev-tax. 🩸 A minimal Solidity library for MEV taxes

nvim-surround. Add/change/delete surrounding delimiter pairs with ease. Written with :heart: in Lua.

packer.nvim. A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config

huffswap. The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation

huff-rs. A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

solidity-selector-miner. Rust

foundry-template. Foundry-based template for developing Solidity smart contracts

solidity. Solidity, the Smart Contract Programming Language

weth-invariant-testing. Solidity

v4-stoploss. Stop Loss Orders via Uniswap V4 Hooks

RedBlackTreeLib. Solidity

yools. Tools for Yul.

risk-terminal. Risk Terminal, ETHDenver 2023

foundry-arbitrum. Cross-chain message testing for Arbitrum with Foundry

optimism. Optimism is Ethereum, scaled.

SS2ERC721. Hyper-optimized batch mints to a large number of distinct recipients in a single transaction. Join Showtime:

BattleZips-Noir. Noir implementation of BattleZips circuits

smol-evm. Python

bluloco.nvim. bluloco theme for neovim

solidity-ls. Solidity language server.

Mermaid. A regularly updated collection of cheatsheets for using Mermaid diagrams on GitHub and elsewhere

the-ethereum-virtual-machine. CSS

1regex4bytes. get solidity function selectors from bytecode

huff-vrgda. Huff Implementation of VRGDAs

paradigm-ctf. template for efficient paradigm ctf testing & scripts

andOTP-decrypt. Python