A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

Functional Programming Course

A modern proof language

A shell script which checks your $HOME for unwanted files and directories.

Pattern language

Shell programming, Haskell style

Reach: The Safest and Smartest DApp Programming Language

My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.

Web3 API for Haskell