ZuriHac2016/Projects

Agda

Contact: Philipp Hausmann

Homepage: http://wiki.portal.chalmers.se/agda/pmwiki.php

Cryptonite

Contact: Vincent Hanquez

Homepage: https://github.com/haskell-crypto/cryptonite

Grenoble Haskell Club

Contact: José-Paul Dominguez

Hakyll

Contact: Jasper Van der Jeugt

Homepage: http://jaspervdj.be/hakyll

Haskell IDE Engine

Contact: Moritz Kiefer

Homepage: https://github.com/haskell/haskell-ide-engine

Hedsql

Contact: Léonard Monnier

Homepage: https://github.com/momomimachli/Hedsql

Opaleye

Work on the list of Opaleye enhancements

Contact: Tom Ellis

Homepage: https://hackage.haskell.org/package/opaleye

OpenCV Haskell binding

This package will be available in the coming month.

Contact: Bas van Dijk

Shaking up GHC

Contact: Andrey Mokhov

Homepage: https://github.com/snowleopard/hadrian

Spock

Contact: Alexander Thiemann

Homepage: https://www.spock.li