magmide's tracked open-source repos, sorted by stars.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
