mlitchard/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
mlitchard
Discovered public repositories for mlitchard in the GitHub catalog.
mlitchard/fastirc
Fast IRC protocol implementation
mlitchard/ShoeApi
Here's a Shoe Api
mlitchard/haskell-tcp-json
An example of working with TCP and JSON in Haskell
mlitchard/sodium
Sodium - Reactive Programming Library for Java, Haskell and C++ (FRP)
mlitchard/haskell-json-rpc
haskell json rpc library
mlitchard/yesod-auth-ldap
ldap authorization, the Yesod Way
mlitchard/authenticate-ldap
ldap authentication for yesod
mlitchard/yesod
A RESTful Haskell web framework built on WAI.