Pinned Loading

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

   Bolts: Stainless Verified Scala Examples

   Scala 22 13

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 1

4. stainless-dafny-library stainless-dafny-library Public

   Collection of verified software using Dafny and Stainles. Each program has 2 versions, one with each tool.

   Scala

5. dafny-lang/dafny dafny-lang/dafny Public

   Dafny is a verification-aware programming language

   C# 3.1k 280

6. epfl-lara/stainless epfl-lara/stainless Public

   Verification framework and tool for higher-order Scala programs

   Scala 377 56