Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mit-plv / kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fkami
Stars: 135
Forks: 24
Open Issues: 2
License: mit
Language: Coq
Repo Size: 4.48 MB
Dependencies:
0
Created: almost 7 years ago
Updated: 3 months ago
Last pushed: 3 months ago
Last synced: 3 months ago
Topics: bluespec, coq, hardware-description-language, hardware-verification, proof-assistant
Files
No dependencies found