Simon Meier's repositories
haskell-beginners-projects
A couple of Haskell beginner projects, for ZuriHac 2016
HaskellerZ
Notes and files from HaskellerZ meetups.
stephendiehl.com
My Hakyll Blog
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
test-zenhub
Testing ZenHub