Aaron Elligsen hath995

• Berlin, Germany

Pinned Loading

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

   TypeScript 4 1

3. Linear Temporal Logic in TypeScript

   TypeScript 1

4. Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

   TypeScript 4.8k 204

5. Dafny specs using version 4.4.0 and later

   Dafny 3 1