magmide की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
एक डिपेंडेंटली-टाइप्ड प्रूफ भाषा जिसका उद्देश्य सॉफ्टवेयर इंजीनियरों के लिए प्रमाणित रूप से सही बेयर मेटल कोड बनाना संभव बनाना है।
