Nā hale waihona puke i kākau ʻia ma F*

FStar

He ʻŌlelo Papahana Hoʻopono.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, he hale waihona puke cryptographic i hōʻoia ʻia i kākau ʻia ma F*.
  • 1.5k
  • Apache License 2.0

mitls-fstar

Hoʻokō pono ʻia o TLS 1.3 ma F*.
  • 169
  • GNU General Public License v3.0