F* – A Proof-Oriented Programming Language

1. FStar

   1 45 2,771 9.9 F*

   A Proof-oriented Programming Language

   

2. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

3. fstar-vscode-assistant

   2 1 19 8.1 TypeScript

   An interactive mode for F* in VS Code

   

   Have you seen https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.

   We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el

4. fstar-mode.el

   3 1 67 2.7 Emacs Lisp

   Emacs support for F*

   

   Have you seen https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.

   We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el

5. hacl-star

   4 10 1,637 9.4 F*

   HACL*, a formally verified cryptographic library written in F*

   

   F* existed before Project Everest, but Everest did power a lot of its development.

   We have built verified systems and components in the TLS ecosystem, including parts of TLS, QUIC and related protocols, and continue to do so: https://project-everest.github.io/

   Some of it is deployed in production systems:

   * Verified parsers in the Windows kernel and elsewhere: https://www.microsoft.com/en-us/research/blog/everparse-hard...

   * Verified crypto in Linux, Firefox, Python, ... https://github.com/hacl-star/hacl-star

Suggest a related project