A key remapping daemon for linux.

A simple distributed parallel job execution engine in Haskell

A monadic library for symbolic evaluation

Blame someone else for your bad code.

Alloy within Kotlin

Export your pass (https://www.passwordstore.org) content to stdout/text

Serial communication link bit error rate tester simulator, written in Python.

Play/learn/work with me

A library to profile time in a Haskell program

The symbolic execution engine powering the K Framework

An optimizer for untyped plutus core

the only cheat sheet you need

Powerful and highly extensible command-line based document and bibliography manager.

A massively parallel, optimal functional runtime in Rust

Separation logic for *UTXO*-based blockchain ledgers

Hash-based Diffing for AST's

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

Language-generic workbench for building static analysis

Embedded specification language & model checker in Haskell

A collection of modern/faster/saner alternatives to common unix commands.

additional functionality via binary patching

"Being Formal Yet Lightweight", presented at DDD Europe 2021

Empire strikes back

Generate a custom color cursor theme from `DMZ-White`