The fastest way to build type safe web apps
Haskell code prettifier
The Stateless Password Manager
Compiler for Elm, a functional language for reliable webapps
Proof Logic : A logical framework for theorem proving
A RESTful Haskell web framework built on WAI
A command line tool to identify unused code
Collection of scripts for transfinite ordinals computations
C to Rust translator
Functional Arabic Morphology
Informative git prompt for zsh
Power tools for creating Stunts track maps.
wiki engine for small teams
A simple program for comparing data sets with simple algorithms.