Pinned Loading

1. DafnyCheck DafnyCheck Public

   Dafny

2. Dafny-AoC-template Dafny-AoC-template Public

   Dafny 1 2

3. LTLTS LTLTS Public

   Linear Temporal Logic in TypeScript

   TypeScript 1

4. Dafny4.4 Dafny4.4 Public

   Dafny specs using version 4.4.0 and later

   Dafny 3 1

5. tree-sitter-dafny tree-sitter-dafny Public

   JavaScript 5

6. cocoindex-code-dafny-v2 cocoindex-code-dafny-v2 Public

   Python