Popular repositories

1. Dafny-VSCode Dafny-VSCode Public

   Dafny 2 for Visual Studio Code (Legacy)

   TypeScript 18 12

2. BA-Documentation BA-Documentation Public archive

   TeX

3. API-Documentation API-Documentation Public archive

   TeX

4. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#