Popular repositories Loading

1. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C# 3

2. compiler-tutorial compiler-tutorial Public

   A simple compiler pipeline, from parsing to running target code

   Dafny 2

3. RustanLeino.github.io RustanLeino.github.io Public

   Rustan Leino on the web

   HTML 1

4. Specs Specs Public

   Forked from OpenJML/Specs

   Contains the specifications for the Java language used by OpenJML.

   Java 1

5. aws-encryption-sdk-java aws-encryption-sdk-java Public

   Forked from aws/aws-encryption-sdk-java

   AWS Encryption SDK

   Java 1

6. libraries libraries Public

   Forked from dafny-lang/libraries

   Libraries useful for Dafny programs

   Dafny