مكتبات مكتوبة بلغة F*

FStar

لغة البرمجة الموجهة.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL * ، مكتبة تشفير تم التحقق منها رسميًا مكتوبة بلغة F *.
  • 1.5k
  • Apache License 2.0

mitls-fstar

تم التحقق من تنفيذ TLS 1.3 في F *.
  • 169
  • GNU General Public License v3.0