Collection of ExEx examples built on Reth

EF project Exploring Automatic Model-Checking of the Ethereum specification

Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

A Rust implementation of the Cosmos SDK

VS Code extension for viewing ITF traces

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

My dotfiles

The configuration framework for Zsh

APALACHE: symbolic model checker for TLA+ and Quint