ClusterFuzzLite - Simple continuous fuzzing that runs in CI.

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

Succinct's Production-Grade Proving Engine for the 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.