An open API service providing repository metadata for many open source software ecosystems.
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
Size: 658 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 31 - Forks: 10