Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / barambani / laws
Implementation and property-based verification of functional programming abstractions' laws
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/barambani%2Flaws
Stars: 2
Forks: 3
Open Issues: 0
License: gpl-3.0
Language: Scala
Repo Size: 147 KB
Dependencies:
0
Created: almost 7 years ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Topics: applicative, category-theory, functional-programming, functor, laws, monad, monoid, scala, semigroup
Files
No dependencies found