GitHub repository: pedrolamarao/metal
Primary language: C++
Description: Metal is a research project on "bare metal" software engineering.