A static website compiler library in Haskell
Interactive programs without callbacks or side-effects
A wiki using HAppS, pandoc, and git
Future-proof note-taking and publishing based on Zettelkasten
A Dependently Typed Functional Programming Language
Parsing and analysis of Vertica, Hive, and Presto SQL