کتابخانه های نوشته شده با جاوا اسکریپت

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