GitHub repository: tjarker/framework-doc
Primary language: TeX
Description: Book-keeping for master thesis on hardware verification