Ecosyste.ms: Repos

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

GitHub / ymherklotz / vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ymherklotz%2Fvericert

Stars: 78
Forks: 5
Open Issues: 4

License: gpl-3.0
Language: Coq
Repo Size: 22.8 MB
Dependencies: 3

Created: over 4 years ago
Updated: 3 months ago
Last pushed: 3 months ago
Last synced: 3 months ago

Topics: coq, high-level-synthesis

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/main.yml actions
    scripts/docker/Dockerfile docker