Repositori open source terpantau milik hacl-star, diurutkan berdasarkan bintang.
HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*
