Repos by rsnikhil
rsnikhil / repos
17 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | Forvis_RISCV-ISA-Spec | Haskell | 96 | 1,031 |
| Bluespec_BSV_Tutorial | Bluespec | 87 | 6 |
| ICFP2020_Bluespec_Tutorial | HTML | 59 | 13,652 |
| RISCV_Piccolo_v1 | Verilog | 33 | 782 |
| RISCV_ISA_Spec_Tour | HTML | 33 | 21,649 |
| RISCV_ISA_Formal_Spec_in_BSV | Bluespec | 19 | 21 |
| Learn_Bluespec_and_RISCV_Design | Bluespec | 19 | 19 |
| Bluespec_BSV_Formal_Semantics | Haskell | 18 | 4,345 |
| Book_BLang_RISCV | Makefile | 10 | 4,569 |
| goParseBSV | Go | 9 | 75,006 |