A tool for glamorous shell scripts 🎀

A Bash CLI framework, also a Bash command runner.

Functional tests for command line applications

Higher-kinded data (HKD) types with less pain

Fast Aho-Corasick string searching

Flake templates using flake-utils

An interactive Nix documentation tool providing a CLI for function search, a Nix plugin for docs in the REPL, and a ctags implementation for Nix script

vim plugin for direnv support

GHC plugin to branch on whether a constraint is satisfied

A plugin for Vim to color different parts of code making the use of Text Properties

Isomorphic Reasoning: Counting with Types

A Git Murder Mystery

A spotify daemon

Spotify for the terminal written in Rust 🚀

Lensy interface for parsing CSV's

A Vim plugin that provides a completion function for Unicode glyphs

A smart A* search monad transformer which supports backtracking user-state!

Some of my security stuff and vulnerabilities. Nothing advanced. More to come.

High-powered REPL for Haskell, inspired by IPython

Universal markup converter

Compiler for the Mirth programming language.

First-class type families

A single-line text editor written in Haskell with Brick

Make JSON greppable!

Aligning characters for fun and profit, with Haskell and PureScript

An alternate definition of Haskell's Functor typeclass

A collection of miscellaneous thoughts that aren't on my blog.

C++11 port of docopt

🐙 discover Dicts