sifive/
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor...
by SiFive Haskell Apache-2.0 licence 6 forks Created Feb 2019 View on GitHub
- Stars
- 79
- 2% of sifive's stars
- Rank
- #586,204
- of 852,272 repos, top 69%
Among 852,272 repos
63–100 stars: 217,635 repos, including RiscvSpecFormal
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #580,261
- Next milestone
- +15 stars to reach the top 60%
- Yearly average
- 10 stars a year since Feb 2019