ट्रैक की गई वे ओपन सोर्स रिपॉजिटरी जिनकी मुख्य भाषा F* है, स्टार के हिसाब से क्रमबद्ध।
एक प्रूफ-ओरिएंटेड प्रोग्रामिंग लैंग्वेज
HACL*, F* में लिखी गई एक औपचारिक रूप से सत्यापित क्रिप्टोग्राफिक लाइब्रेरी
