Popular repositories Loading

1. interpreter interpreter Public

   Interpreter for scala.meta trees

   Scala 3 1

2. VenitianBot VenitianBot Public

   Play project with VenitianBot inside

   Java 1

3. leon leon Public

   Forked from epfl-lara/leon

   The Leon system for verification, synthesis, and more.

   Scala

4. cpa-service-provider cpa-service-provider Public

   Forked from ebu/cpa-service-provider

   Reference implementation of an EBU CPA Service Provider

   JavaScript

5. FoundSoft14 FoundSoft14 Public

   Scala

6. FAT32-FS-Driver FAT32-FS-Driver Public

   Operating Systems Assignment 3

   C