Pinned Repositories
haskell-couchdb
Haskell bindings for CouchDB
persistent
Persistence interface for Haskell allowing multiple storage methods.
persistent-couchdb
ansible-role-bigbluebutton
Ansible role for a bigbluebutton installation (following the documentation on http://docs.bigbluebutton.org/install/install.html)
ansible-role-docker
Ansible Role - Docker
coq-contribs
A list of contributions of Coq as git submodules
distalgo
This is the Python implementation of DistAlgo, a language for distributed algorithms.
gitit2
A reimplementation of gitit in Yesod
gitlabhq
Project management and code hosting application. Follow us on twitter @gitlabhq
ldap-haskell
Bindings for LDAP [Haskell]
jmnotin's Repositories
jmnotin/haskell-couchdb
Haskell bindings for CouchDB
jmnotin/persistent
Persistence interface for Haskell allowing multiple storage methods.
jmnotin/persistent-couchdb
jmnotin/ansible-role-bigbluebutton
Ansible role for a bigbluebutton installation (following the documentation on http://docs.bigbluebutton.org/install/install.html)
jmnotin/ansible-role-docker
Ansible Role - Docker
jmnotin/coq-contribs
A list of contributions of Coq as git submodules
jmnotin/distalgo
This is the Python implementation of DistAlgo, a language for distributed algorithms.
jmnotin/gitit2
A reimplementation of gitit in Yesod
jmnotin/gitlabhq
Project management and code hosting application. Follow us on twitter @gitlabhq
jmnotin/ldap-haskell
Bindings for LDAP [Haskell]
jmnotin/test_ap_lix.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
jmnotin/yesod-auth-kerberos
Kerberos support for Yesod Auth