Simple web-based calculator for the game Factorio.

Noir is a domain specific language for zero knowledge proofs

The math library of Lean 4

The fastest, most feature-complete zkVM for developers.

A symbolic testing tool for EVM smart contracts

A fast Solidity compiler for EVM simulations, written in TypeScript

A fancy diagnostics & error reporting crate

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

A DSL for generating optimal EVM bytecode

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

🩸 A minimal Solidity library for MEV taxes

Add/change/delete surrounding delimiter pairs with ease. Written with ❤️ in Lua.

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

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

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

Foundry-based template for developing Solidity smart contracts

Solidity, the Smart Contract Programming Language

Stop Loss Orders via Uniswap V4 Hooks

Tools for Yul.

Risk Terminal, ETHDenver 2023

Cross-chain message testing for Arbitrum with Foundry

Optimism is Ethereum, scaled.

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

Noir implementation of BattleZips circuits

bluloco theme port for neovim