Hacker News
- Lion: A formally verified, 5-stage pipeline RISC-V core https://github.com/standardsemiconductor/lion 81 comments
- Where Lions Roam: RISC-V on the VELDT https://github.com/standardsemiconductor/lion 18 comments haskell
Linked pages
- Clash: Home http://www.clash-lang.org/ 157 comments
- RISC-V International https://riscv.org/ 52 comments
- Specifications - RISC-V International https://riscv.org/technical/specifications/ 12 comments
- Computer Architecture - 6th Edition https://www.elsevier.com/books/computer-architecture/hennessy/978-0-12-811905-1 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - standardsemiconductor/lion: Where Lions Roam: RISC-V on the VELDT
See how to search.