An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

UMA Protocol Running on Ethereum

Run your GitHub Actions locally 🚀

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor

📖 A collection of pure POSIX sh alternatives to external processes.

Ethereum implementation on the efficiency frontier

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

A simple REPL for TLA+.

Source Code for 'Practical TLA+' by Hillel Wayne

Multicall: Aggregate multiple constant function call results into one

Pairwise Independent Combinatorial Tool

A model-based test case generator

Free Model Based tool

litdown: A simple Perl script that converts source code files into markdown-formatted documents for literate programming by treating specially prefixed comments as markdown text.

🤖 Just a command runner

The First Production-Grade Proving Engine for OP Stack

A modular framework for building EVM consensus clients ⛵️✨

Testnet deposit contract for Eth2 - permissioned, tokens, drain, admin funcs. DO NOT USE ON MAINNET.

A SNARK using towers of binary fields, implemented in Rust

A Cryptographic Library for Smooth Blockchain uses

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

Generate a docker-compose yaml definition from a running container

Easily and securely send things from one computer to another 🐊 📦

⛓️ A Framework for Building High Value Public Blockchains ✨

A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.

eRPC — fault-tolerant evm rpc proxy

🐬 A collection of awesome resources for the Flipper Zero device.