Pinned Loading

1. epfl-lara/bolts epfl-lara/bolts Public

   Bolts: Stainless Verified Scala Examples

   Scala 18 12

2. dslab-epfl/svshi dslab-epfl/svshi Public

   Formal verification for smart infrastructure (buildings, cities, etc.)

   Python 9 3

3. tinynf-csharp tinynf-csharp Public

   Semester project - Master in computer science at EPFL. Write a driver in C# for a network card.

   C# 5

4. FormalVerification-PrefixFreeCodes FormalVerification-PrefixFreeCodes Public

   PostScript

5. didactic-meme/pyfuncol didactic-meme/pyfuncol Public

   Functional collections extension functions for Python

   Python 32 2

6. danielementary/Unsupervised-Image-to-Image-Translation danielementary/Unsupervised-Image-to-Image-Translation Public

   Jupyter Notebook 1