mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

Date Created 2017-07-11 (7 years ago)
Commits 1,470 (last one 4 months ago)
Stargazers 146 (0 this week)
Watchers 14 (0 this week)
Forks 25
License mit
Ranking

RepositoryStats indexes 617,630 repositories, of these mit-plv/kami is ranked #231,927 (62nd percentile) for total stargazers, and #157,284 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #39/110.

Other Information

mit-plv/kami has Github issues enabled, there are 2 open issues and 7 closed issues.

Homepage URL: https://plv.csail.mit.edu/kami/

Star History

Github stargazers over time

1601601401401201201001008080606040402020002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

141414141313131313131212121220232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

20 commits on the default branch (rv32i) since jan '22

2020181816161414121210108866442200Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (rv32i) per year

16016014014012012010010080806060404020200020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
9988776655443322110020192019202020202021202120222022202320232024202420252025

Languages

The primary language is Coq but there's also others...

CoqCoqVerilogVerilogOCamlOCamlCCBluespecBluespecShellShellMakefileMakefileC++C++

updated: 2025-01-21 @ 06:49pm, id: 96941480 / R_kgDOBcc1qA