GitHub repository: magmide/magmide
Primary language: Coq
Description: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.