👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A Wadler–Lindig pretty printer for Python

TLA+ specification of Flexible Paxos

Rust library for consuming Apalache ITF traces

Persistent/Immutable/Functional data structures for Python

A minimal, responsive, and feature-rich Jekyll theme for technical writing.

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

A language for symbolic transitions system, inspired by Ivy.

Quint specification of Aztec governance and formal verification

⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing

TigerBeetle Ticket Booking Example

Bug finding challenge for all of the tools around

Symbolic testing of TFTP with Apalache

MQTT-SN gateway and client implementations written in Java. Lightening fast. MQTT-SN is an optimised version of MQTT, designed for low powered sensor devices.

Based on http://efficient.github.io/epaxos (morethan5 branch)

Formal models of core Elasticsearch algorithms

Applying JSON Patches in Python

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Main Portal page for the Jackson project

Eclipse Jetty® - Web Container & Clients - supports HTTP/3, HTTP/2, HTTP/1, websocket, servlets, and more

Python library to parse and emit Apalache/Quint traces as JSON ITF

Distributed algorithms in Lean 4

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

An analysis tool for Python that blurs the line between testing and type systems.

Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.

Simulation testing for Go