An axiom-free formalization of category theory in Coq for personal study...
learn-by-doing course/tutorial for functional programming on scala
a collection of cellular automata written in Haskell with Diagrams
Simple task management application for my bachelor thesis based on Phil ...