Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / typedefs / typedefs
Programming language agnostic type construction language based on polynomials.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typedefs%2Ftypedefs
Stars: 364
Forks: 18
Open Issues: 55
License: agpl-3.0
Language: Idris
Repo Size: 718 KB
Dependencies:
0
Created: over 6 years ago
Updated: about 1 month ago
Last pushed: over 2 years ago
Last synced: about 1 month ago
Topics: category-theory, f-algebras, marshalling, serialization, serialization-library, type-definitions, type-theory, types
Files
No dependencies found