larsrh/regensburg-haskell-testing
Demo code from the talk "Testing in Haskell" (ARCHIVED)
Developer Profile
larsrh
Discovered public repositories for larsrh in the GitHub catalog.
larsrh/scalaio2014
Demo code from scala.io 2014 (ARCHIVED)
larsrh/tasty
Modern and extensible testing framework for Haskell (ARCHIVED)
larsrh/tasty-html
HTML test reporter for the Tasty test framework (ARCHIVED)
larsrh/flatmap2014
Scalaz workshop at flatMap(Oslo) 2014 (ARCHIVED)
larsrh/nescala2014
Talk at NE Scala 2014: Macros vs. Types (ARCHIVED)
larsrh/matrix-exercise
Exercise for type classes: Matrix multiplication (ARCHIVED)
larsrh/queue
Language based on queue automata (ARCHIVED)
larsrh/datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
larsrh/automata
Fixed-length languages and Presburger automata (ARCHIVED)
larsrh/scala-snippets
Random Scala snippets (ARCHIVED)
larsrh/evolutionary-tsp
An evolutionary algorithm for solving TSP (ARCHIVED)