CakeML की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
CakeML: ML का एक सत्यापित कार्यान्वयन
