idris-lang की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
फर्स्ट-क्लास टाइप्स के साथ एक विशुद्ध रूप से फंक्शनल प्रोग्रामिंग लैंग्वेज।
