Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / CatalaLang / catala-formalization

JSON API: https://repos.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/CatalaLang%2Fcatala-formalization

Stars: 3
Forks: 0
Open issues: 1

License: None
Language: Coq
Size: 1.4 MB
Dependencies parsed at: 2

Created at: about 3 years ago
Updated at: 10 months ago
Pushed at: 6 months ago
Last synced at: 3 days ago

.github/workflows/ci.yml actions