Source material for Certainty by Construction

Haskell code prettifier

Terminal-based presentations using Pandoc

A Ball - Buttonless trackball for all

A formatter for Haskell source code

Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Proof of Concept RegelRecht

Pattern language

CPM implementation in pure JavaScript

pgf/TikZ diagram editor

A tabular reinforcement learning framework