Pinned Loading

1. epfl-lara/inox epfl-lara/inox Public

   Solver for higher-order functional programs, used by Stainless

   Scala 88 20

2. scala/scala-abide scala/scala-abide Public archive

   obsolete; visit https://github.com/scalacenter/scalafix instead

   Scala 230 31

3. epfl-lara/stainless epfl-lara/stainless Public

   Verification framework and tool for higher-order Scala programs

   Scala 349 50

4. epfl-lara/leon epfl-lara/leon Public

   The Leon system for verification, synthesis, repair

   Scala 162 49

5. epfl-lara/ScalaZ3 epfl-lara/ScalaZ3 Public

   DSL in Scala for Constraint Solving with Z3 SMT Solver

   Scala 122 34

6. regb/scala-smtlib regb/scala-smtlib Public

   Scala library for parsing and printing the SMT-LIB format

   SMT 44 23