A markup-based typesetting system that is powerful and easy to learn.

automated windows builds for Zed code editor, built from source, stable channel

upload big files to Zenodo using cURL, jq and bash

Empowering everyone to build reliable and efficient software.

Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions

Command-line sampling profiler for macOS, Linux, and Windows

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

Terminal image viewer with native support for iTerm and Kitty

Koka language compiler and interpreter

MySQL-compatible database for GDPR compliance by construction.

A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.

Forge: A Tool and Language for Teaching Formal Methods

The Z3 Theorem Prover

LR(1) parser generator for Rust

TiddlyWiki5 plugin - Horizontal Story River

System for collecting, deriving and working with facts about source code.

CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.

A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

Build your personal knowledge base with Trilium Notes

Project management for TiddlyWiki

Transport-polymorphic, asynchronous session types for Rust

Where my everyday research happens

A compiler for functional programs on serialized data

♊ higher-order, no-boilerplate monads

Data on COVID-19 (coronavirus) cases, deaths, hospitalizations, tests • All countries • Updated daily by Our World in Data

Haskell: Supercharged anonymous records

LaTeX package to typeset material for the fifth edition of the "world's greatest roleplaying game".

Haskell library for space- and time-efficient operations over Unicode text.