pierric/thih-multiparam-fundep
Typing Haskell in Haskell with multi-parameter class and functional dependecies
Developer Profile
pierric
Discovered public repositories for pierric in the GitHub catalog.
pierric/type-level-tf
Type level numerics for Haskell using type families. Based on type-level.
pierric/xv6
mirror of the source code of the Xv6 operating system
pierric/ajhc
A fork of ajhc to rewrite XV6
pierric/mlton
The MLton repository
pierric/recforum
powered by yesod
pierric/SimTyLam
Simple Typed Lambda
pierric/visct
visualize the cartesion tree algorithm
pierric/signal-coroutine
implement signal(a.k.a.stream) concept via coroutine
pierric/DLX-simulator
DLX simulator written with ForSyDe in Haskell
pierric/Utils
from K&R's "The C programming Language"
pierric/pierric.github.com
Public repository.
pierric/DouMailHelper
A might-be handy tool for the doumail
pierric/hm2
parse and render .m2 models
pierric/clojure-contrib
Extensions and enhancements to the Clojure libraries.