Ecosyste.ms: Repos

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

GitHub / uwplse / coq-plugin-lib

Library of useful utility functions for Coq plugins

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwplse%2Fcoq-plugin-lib

Stars: 11
Forks: 5
Open Issues: 14

License: mit
Language: OCaml
Repo Size: 528 KB
Dependencies: 0

Created: almost 5 years ago
Updated: 2 months ago
Last pushed: over 1 year ago
Last synced: 12 days ago

Topics: coq, coq-library, coq-plugin, library, pumpkin-patch

Files
    Loading...
    Readme
    Loading...

    No dependencies found