Dom De Re's Projects
Low-level typesafe HDF5 bindings
Blog web app backend [Haskell]
A Haskell implementation of the OpenID 2.0 spec
Placeholder project so I don't ever name any project "hyper"
A streaming query language.
A Dependently Typed Functional Programming Language
A Haskell kernel for IPython.
Exploring memory, IO, evaluation and execution.
Development repository for Opscode Cookbook java
keyed functors
testing libraries helpers and helpers i dont want to push on QuickCheck [Haskell]
Memento XII (Ludum Dare 23) WebGL port
Nest
A survival game with an iPanda, lots of snow, horrible creatures and a cable car. Made using HeapsIO and Haxe language.
Zero Volt X (a shoot'em up game created in 48h for Ludum Dare 39)
A shelter simulation game made in 3 days for Ludum Dare 40. Even if the game was submitted to Jam instead of Compo, I still made everything all by myself.
Nuclear Blaze, a 48h game for Ludum Dare 48
Tenjutsu (48h version) - Ludum Dare 51
Modern, lightweight and efficient 2D level editor
Working through the lens basics [Haskell]
Liquid Types For Haskell
Giter8 Template for generating slides out of Literate Haskell modules
proposition combinators in [Idris]
Code-along for Categories for the Working Mathematician [Coq]
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
Free, open source game engine online
Support for calling Python [Haskell]
Utility library [Haskell]
browser-side require() the node.js way