Bibliothèques écrites en F*

FStar

Un langage de programmation orienté preuve.
  • 2.3k
  • Apache License 2.0

hacl-star

HACL*, une bibliothèque cryptographique formellement vérifiée écrite en F*.
  • 1.4k
  • Apache License 2.0