Pinned Loading

1. licorne-lang licorne-lang Public

   Licorne is an experimental programming language exploring refinement types and language-based support for lightweight verification

   Scala 6 2

2. Capybara Capybara Public

   Very experimental symbolic execution engine for JVM bytecode

   Kotlin 1

3. sudoku-case-study sudoku-case-study Public

   Case study for my MSc thesis: a sudoku solver in Grattlesnake

4. scala-chemistry-dsl scala-chemistry-dsl Public

   A Scala DSL for stoichiometry

   Scala 1

5. epfl-systemf/JumboTrace epfl-systemf/JumboTrace Public

   Java 1

6. Gradient Gradient Public

   Experimental implementation of the Gradient (GradCC) type system

   Scala