Pinned Loading

1. MagicalMock MagicalMock Public

   Quick and powerful object for mocking and test assertions; port of the python mock library

   TypeScript 4 1

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. dafny-aoc-2025 dafny-aoc-2025 Public

   Dafny 1

6. tree-sitter-dafny tree-sitter-dafny Public

   JavaScript