GitHub repository: thegenemyers/DFA-SPEC
Primary language: Makefile
Description: The Dagstuhl Format for Assembly