proxy.golang.org : github.com/mit-plv/kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/mit-plv/kami
Keywords:
bluespec
, coq
, hardware-description-language
, hardware-verification
, proof-assistant
License: MIT
Latest release: over 2 years ago
First release: almost 4 years ago
Stars: 153 on GitHub
Forks: 26 on GitHub
Total Commits: 1280
Committers: 26
Average commits per author: 49.231
Development Distribution Score (DDS): 0.38
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago