Alan Zimmerman's repositories
authenticate
Authentication methods for Haskell web applications.
FOSUserBundle
Provides authentication features for your Symfony2 Project. Compatible with Doctrine ORM & ODM, and Propel.
planet-wars-haskell
Unofficial Haskell starter package for the Planet Wars AI contest
cloudify-viewer
A rough skeleton for a viewer
PropelBundle
PropelBundle for Symfony2.
bert
haskell implementation of BERT[-RPC] (http://bert-rpc.org/)
Language:HaskellNOASSERTION000
datalog
A pure Haskell implementation of Datalog
Language:HaskellNOASSERTION000
Language:JavaScript000
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Language:CSSBSD-3-Clause000
unit-test-example
Unit test example for Haskell
Language:HaskellBSD-3-Clause000
zguide
Learning and Using ØMQ
Language:CNOASSERTION000