Versatile typeface for code, from code.

🦐 Electromagnetic Simulation + Automatic Differentiation

A cheat-sheet for Helix.

Tree-sitter grammar for Literate Haskell

Simple, beautiful CLI output

A post-modern modal text editor.

Matrix builds for cabal

Homelab managed wtih Nix Flakes

💭👀precognition.nvim - Precognition uses virtual text and gutter signs to show available motions.

Collections of awesome neovim plugins.

Data interchange with algebraic data types.

A statically typed lisp, without a GC, for real-time applications.

The markdown editor that's just a textarea https://overtype.dev

Personal server configuration with k3s

A DNS full resolver and a stub command

A Periodic Table of System Design Principles

An interpreted lambda calculus with Algebraic and Recursive Types.

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

A framework for distributed systems verification, with fault injection

constraint level if statements

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.

The Brown Benchmark for Table Types (B2T2)

A formatter for Haskell source code

audit your cabal projects for haskell-specific security-advisories

A library for probabilistic programming in Haskell.

Statistical Rethinking Course for Jan-Mar 2023

Advent of Code complete solution archive and common library