FStarLang की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
एक प्रूफ-ओरिएंटेड प्रोग्रामिंग लैंग्वेज
KaRaMeL, कम-स्तरीय F* प्रोग्रामों को पठनीय C कोड में निकालने का एक टूल है
