A menagerie of cute implementations of modern typechecking algorithms

Official documentation for getting things done with Nix.

batteries-included nix-based haskell project template

Password manager app for Android

Discussion and specification for an explicit syntactic opt-in for Tail Calls.

Practical Gremlin - An Apache TinkerPop Tutorial

Fast Aho-Corasick string searching

Kafka client for Haskell, including auto-rebalancing consumers

"Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/

ShellCheck, a static analysis tool for shell scripts

Mu (μ) is a purely functional framework for building micro services.

A high-level ncurses alternative written in Haskell

Custom Haskell Vimscripts

Haskell code prettifier

🐑 A fuzzy string set implementation in Haskell.

A bare-bones Twitter clone implemented in a single file

Slides from talks that I give

additional functionality via binary patching

Maintainable configuration files

Maintainable configuration files

A curated list of projects related to the reMarkable tablet

The Pact Smart Contract Language

Free ideas, worth every penny

A script to install Nix package manager inside a Termux installation (on Android, aarch64)

Parsing, analyzing, and comparing source code across many languages

The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.

A prolog interpreter written in Haskell.

Toy Prolog Implementation in Haskell

Summary of common Vim keystrokes