Popular repositories Loading

1. daisy daisy Public

   Scala 53 15

2. rosa rosa Public

   Forked from epfl-lara/leon

   Rosa, the real compiler

   Scala 21 6

3. ceres ceres Public

   Useful stuff for certified numerical results in Scala

   Scala 7 2

4. xfp xfp Public

   Synthesizer for accurate fixed-point arithmetic expressions

   Java 5 2

5. ScalaZ3 ScalaZ3 Public

   Forked from epfl-lara/ScalaZ3

   Binders and more to the Z3 SMT solver for Scala

   Scala

6. GSoC_PDE_solver GSoC_PDE_solver Public

   Forked from tspurdle/GSoC_PDE_solver

   Google Summer of Code Scala Numerical PDE solver

   Scala