Proving that the neural network really did learn its safety property

an implementation of stuck macros

from JIRA's .csv export to graphviz's dot format

as presented by Zanzi Mihejevs at https://www.youtube.com/watch?v=0Qg_RnSHyhU

rewrite rules for type-level equalities

The theme for LD44 was "Your life is currency"

Haskell CLI tool to build a resume (CV) from a YAML file

a simple MCP server allowing VS Code to run a specific shell command without asking

A place to host my git-slides presentations

a variant of Pfenning-Davies with Diamond instead of Box

A set of small command-line tools for transforming GraphViz dot-files

I'm learning Racket this year.

a console UI tool to control how much garbage to generate and measure the effect on garbage collection

a parody of Tiny Glade with inference rules instead of castles

Haskell text processor for the command-line

a series of ambitious experiments in the functional language / proof assistant Agda.

Agda encoding of premonoidal categories

The STM API we know and love, but useable in more circumstances

A single typeclass for Functor, Bifunctor, Trifunctor, etc.

Write a Virtual DOM for anything!

Pointful syntax for optic compositions

My default setup, including config files and shell scripts.

minimal repro case for a ghc-9.4 regression

Generate types using type-generic programming, retaining control over the names of the constructors and the fields.