Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Monapt | 34 | 10 years ago | 5 | TypeScript | ||||||
Like Scala Monads for TypeScript and JavaScript | ||||||||||
Laws | 14 | 20 | 28 | 4 years ago | 3 | April 11, 2014 | 1 | mit | LiveScript | |
[Unmaintained] | ||||||||||
Free Proving Code | 8 | 5 years ago | Coq | |||||||
Library to model effectful programs and prove properties about these programs in Coq | ||||||||||
Reactiveproperties | 7 | 8 years ago | mit | C# | ||||||
Observable properties for easy data binding | ||||||||||
Test Monad Laws | 6 | 4 years ago | September 28, 2020 | 6 | mit | Haskell | ||||
QuickCheck properties for monad classes |