Pinned Loading

1. simulisp simulisp Public

   Processor project

   Haskell 6 2

2. sponge sponge Public

   OCaml 1

3. csail-csg/riscy-OOO csail-csg/riscy-OOO Public

   RiscyOO: RISC-V Out-of-Order Processor

   Bluespec 159 28

4. mit-plv/koika mit-plv/koika Public

   A core language for rule-based hardware design 🦑

   Rocq Prover 159 14

5. csail-csg/riscy csail-csg/riscy Public

   Riscy Processors - Open-Sourced RISC-V Processors

   Bluespec 73 14

6. mit-plv/riscv-semantics mit-plv/riscv-semantics Public

   A formal semantics of the RISC-V ISA in Haskell

   Haskell 169 18