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

Command-line sampling profiler for macOS and Linux

Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below

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.

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Graphical Java application for managing BibTeX and biblatex (.bib) databases

Create authentic looking D&D homebrews using only markdown

A formatter for Haskell source code