Beast code in Giters

Simon Meier's repositories

Transactional Distributed Database Layer

Language:JavaNOASSERTION020

A couple of Haskell beginner projects, for ZuriHac 2016

Language:Haskell020

Notes and files from HaskellerZ meetups.

Language:HTML020

Pandoc version of manual

Language:JavaScript020

Morpheus brings the leading graph query language, Cypher, onto the leading distributed processing platform, Spark.

Language:ScalaApache-2.0010

The Haskell Tool Stack

Language:HaskellNOASSERTION020

My Hakyll Blog

Language:HTMLMIT020

Main repository of the Tamarin prover for security protocol verification.

Language:HaskellGPL-3.0020

Testing ZenHub

Language:TypeScriptApache-2.002 5

Our homepage

Language:HaskellNOASSERTION020

Language:JavaScript020