Các kho mã nguồn mở đang theo dõi của magmide, sắp xếp theo số sao.
Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.
