4. TeleportA CLI in haskell to quickly move through the filesystem
5. Simplexhccompiler with polyhedral optmization for a lazy functional programming language
8. MathemagicToybox of explanations of mathematics. Initial focus on (discrete) differential geometry
9. simplexhc-cppoptimising compiler for Haskell's intermediate representation (STG) to LLVM IR
11. notesLatex notes on papers, courses, ideas: Pure math and computer science.
12. wardWARD is a minimal, performant infinite whiteboard app for wacom tablets