Popular repositories Loading

1. Scallina Scallina Public

   A Coq-based synthesis of Scala programs which are correct-by-construction

   Scala 79 7

2. coq coq Public

   Forked from barras/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 4

3. React React Public

   JavaScript 3 1

4. FP_Scala_23-24 FP_Scala_23-24 Public

   Scala 3

5. NodeBackend NodeBackend Public

   Node

   JavaScript 2

6. FP_Python_23-24 FP_Python_23-24 Public

   Python 2