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