xmonad in Coq

xmonad in Coq

Redmine plugin to support for JA-SIG’s Central Authentication Service (CAS) protocol. This plugin give you a solid and secure single sign on solution for web-based applications. The plugin use the …

Generic list-like structures [Haskell]

A mac-oriented emacs configuration bundle with batteries included: check out as ~/.emacs.d

A Haskell style checker

Seclib implementation for the Snap webserver

A high-performance striped resource pooling implementation for Haskell

A general way to consume input using applicative functors

Haskell bindings for libgit2

A high-performance striped resource pooling implementation for Haskell

manipulate a php codebase using haskell to transform the abstract-syntax-tree

Bella Builder is a Web / Mobile app builder powered by Zend Framework, Dojo and Doctrine - developed at the University of Otago

Javascript Libraries for Haskell compilers supporting Javascript code generation

The configuration framework for Zsh

A Haskell style checker

Easy MongoDB integration for Snap applications

Extensible and Modular Generics for the Masses