Dom De Re's Projects
Haskell bindings for dns-sd / avahi
An implementation of Python's doctest for Haskell
Config files for my GitHub profile.
A static version of Rami Ismail's presskit()
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A Comparison of Elimination Patterns and Sum Types.[Haskell]
My blog [Haskell + Hakyll]
Functional Programming Course
Jupyter Notebooks for the Data61 FP Course
Functional Programing in Scala (in Idris) [Idris]
FP-syd talk on adjoint functors
Refinement Types and Liquid Haskell Talk for FP-Syd [Haskell]
Template Haskell to generate Free Monads from Functors [Haskell]
FreeSpace 2 (199) by Volition, Inc.
Base structure for my games, using Heaps framework and Haxe language.
A GitHub Action for bumping submodules
Construct and run Hadoop MapReduce programs in Haskell
Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]
A bit of a sandbox where I muck about and put Haskell modules that have no immediate use but are worth keeping for educational or entertainment value [Haskell]
The engine for haskell ide-integration. Not an IDE
github action for running hlint
OpsCode Chef cookbook that provisions GHC 7.4 (or 7.6) and Haskell Platform 2012.02
A starting skeleton for Haskell Projects using CMake
A Haskell to Javascript compiler.
Deploy Haskell apps to Heroku
heroku build pack that sets up the ghc environment and cached sandbox but hands over the build part to the repo
Homotopy type theory
A collection of cryptographic block and stream ciphers in haskell