Библиотеки, написанные на 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