F* 로 작성된 라이브러리

FStar

증명 지향 프로그래밍 언어.
  • 2.5k
  • Apache License 2.0

hacl-star

F*로 작성된 공식적으로 검증된 암호화 라이브러리인 HACL*.
  • 1.5k
  • Apache License 2.0

mitls-fstar

F*에서 TLS 1.3의 검증된 구현.
  • 169
  • GNU General Public License v3.0