Popular repositories Loading

1. newtypes newtypes Public

   Scala 115 4

2. fonline fonline Public

   fonline-open-source is an open source implementation of the Fallout Online

   C 50 11

3. leibniz leibniz Public

   Leibniz equivalence and Liskov substitutability library for Scala.

   Scala 37 4

4. tracehash tracehash Public

   Compress long exception traces down to short signatures

   Java 19

5. talk-parser-combinators talk-parser-combinators Public

   Scala 1

6. talk-isomorphic-reasoning talk-isomorphic-reasoning Public

   TeX