jfmt is an opinionated java source code formatter for the command line

Verification infrastructure for the Isabelle/HOL interactive proof assistant

Clone of the original iOs puzzle game, Trainyard (using the Bevy game engine)

A high-legibility programming font engineered to minimize cognitive load.

toot - Mastodon CLI & TUI

Strict IDNA2008 for Haskell

A Swift library and command-line tool for creating, validating, and signing Apple Wallet passes.

A collection of hand-curated and verified GLAM (Galleries, Libraries, Archives, Museums) RSS feeds

A short course on reading and writing Sumerian cuneiform

A bootstrapping and management tool for k0s clusters.

Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).

Deterministic, plate-local river and continent generation for large voxel worlds.

A values based personality test

A stack based, concatenative, async language. WIP

Interactive TUI scratchpad for building shell pipelines

Haskell library for writing JVM bytecode in a high level format

A reimagining of the ideas pioneered by Haskell's servant and Rust's typeway, axum, tower, & tonic. A composable, type-safe web framework for Haskell. Your API is a type, your middleware is tracked…

Customizable Quasiquote Interpolation

Public holidays with Haskell

Networks of composable stream transducers

GHC plugin for automatic case splitting

📢 JSON Feed in Haskell.

🏰 Determine how intervals relate to each other.

💧 Write more understandable Haskell.

🌯 Parse and render URI templates.