Linking pages
- Notes from the fourth RISC-V workshop · lowRISC: Collaborative open silicon engineering http://www.lowrisc.org/blog/2016/07/notes-from-the-fourth-risc-v-workshop/ 29 comments
- GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments
- Functional Geekery Episode 101 – Adam Chlipala – Functional Geekery https://www.functionalgeekery.com/episode-101-adam-chlipala/ 1 comment
- GitHub - project-oak/silveroak: Formal specification and verification of hardware, especially for security and privacy. https://github.com/project-oak/silveroak 0 comments