Proof Logic : A logical framework for theorem proving
Collection of scripts for transfinite ordinals computations
Algorithmic Variations
A Haskell kernel for the Jupyter project
Universal text format converter
A simple program for comparing data sets with simple algorithms.
Distributed reverse / forward proxy and tunneling solution for TCP.
dependently typed functional programming language