NuSMV in the browser using WebAssembly (via Emscripten)

Protocol specs in Python you can verify: test, simulate, model check, prove

Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

Fast, secure, efficient backup program

High performance self-hosted photo and video management solution.

💚 End-to-end encrypted cloud for everything.

A professional, DIN 5008 compliant invoice template for Typst with automatic calculations and EPC-QR-Code (GiroCode) support.

A typst template for letters, primarily offers and invoices tailored to my usecase.

Fuzzing Workshop at Protocol Berg Berlin, June 2025

Quint specification of Aztec governance and formal verification

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

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