Popular repositories Loading

1. leon leon Public

   Forked from epfl-lara/leon

   The Leon system for verification, synthesis, and more.

   Scala

2. scala-smtlib scala-smtlib Public

   Forked from regb/scala-smtlib

   SMT-LIB library for Scala

   SMT

3. cafebabe cafebabe Public

   Forked from psuter/cafebabe

   Tiny Scala library to generate class files for the JVM

   Scala

4. stainless stainless Public

   Forked from epfl-lara/stainless

   Verification framework for higher-order functional programs

   Scala

5. inox inox Public

   Forked from epfl-lara/inox

   Solver interface for higher-order functional programs

   Scala

6. gc gc Public

   Forked from WebAssembly/gc

   Branch of the spec repo scoped to discussion of GC integration in WebAssembly

   WebAssembly