GitHub repository: kshitij-r/SPARC
Primary language: C++
Description: Specification and Analysis of Hardware-Software Interactions