Lars Hupel larsrh
- libisabelle 6 A Scala library which talks to Isabelle
- purely-experimental 2 Experiments in Isabelle/Pure (and a bit of HOL)
- datalog-fixpoint 2 Computes the fixpoint of certain Datalog queries with constraints
- matrix-exercise 2 Exercise for type classes: Matrix multiplication
- queue 1 PLT Games submission (December 2012): Language based on queue automata
Repositories contributed to
- epfl-lara/leon 65 The Leon system for verification, synthesis, and more.
- noschinl/cyp 0 Checker for "morally correct" induction proofs about haskell programs
- typelevel/typelevel.github.com 10 Web site of typelevel.scala
- typelevel/discipline 62 Flexible law checking for Scala
- scalaz/scalaz 2,103 An extension to the core Scala library for functional programming.
Contributions in the last year 350 total Oct 7, 2014 – Oct 7, 2015
Longest streak 5 days August 5 – August 9
Current streak 0 days Last contributed