Repositori open source terpantau milik magmide, diurutkan berdasarkan bintang.
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
