GitHub topics: assertion-checking
mylesmegyesi/hamcrest.js
An extensible assertion library for JavaScript, based on Hamcrest
Language: TypeScript - Size: 168 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
ravimad/Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
Language: Scala - Size: 143 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 2
