A clean layout for showcasing your work // hakyll theme

A Haskell library for loading configuation data from environment variables.

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

a modern library for typed path manipulation in Haskell

A parser generator for visibly pushdown languages.

Haskell papers optimized for my e-reader.

Folds for recursive types with GHC Generics

The LLVM LHC Haskell Optimization System

Proposed compiler and language changes for GHC and GHC/Haskell

Reference implementation for Playspecs' matching application, in ES6.

🍊 Emoji searcher but as a menubar app.

Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"

Dependently Typed Lambda Calculus in Haskell

TODO

A demo implementation of a simple dependently-typed language

❕ 📶 Get your GitHub Issues to read offline later. Mmm.

A simple postscript development IDE

GitHub Open Source Mentorships (deprecated)

A topic-centric list of HQ open datasets.

▁▂▃▅▂▇ in your shell.

a language workbench for parsing and transforming curly-brace languages

Papers from the computer science community to read and discuss.

📚 Freely available programming books

Relational version of parsing with derivatives code

GitHub Issues on the command line. Use your $EDITOR, not your browser.

Bézier curves in Haskell

C Implementation of the A* Pathfinding Algorithm

One essay to think about for each week of the year.