Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mstksg / decidable
Combinators for manipulating dependently-typed predicates.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable
Stars: 12
Forks: 5
Open Issues: 2
License: bsd-3-clause
Language: Haskell
Repo Size: 2.42 MB
Dependencies:
0
Created: almost 6 years ago
Updated: 11 months ago
Last pushed: 3 months ago
Last synced: 4 days ago
Funding links: https://github.com/sponsors/mstksg
Files
Loading...
Readme
Loading...
No dependencies found