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