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