Discover awesome F*
open-source projects

7
25
60
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
everparse
bertie
FStar
hacl-star
Mentions
@
 Stars Project Description
We couldn't find any libraries for the selected period

Popular F* Topics

Verification proof-assistant Formal Verification Ocaml programming-language High Performance verified-primitives theorem-proving c-language fstar hacl everest Security Inria f-sharp Dependent Types SMT Cryptography Formal Methods

Latest Mentions

Latest mentioned F* repos
Stars Project
1,629 hacl-star
2,701 FStar
113 bertie
173 mitls-fstar
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board

Latest Discoveries

Latest discovered F* repos
Stars Project
251 everparse
113 bertie
173 mitls-fstar
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board
2,701 FStar
1,629 hacl-star

Recently updated posts

  • HACL: A High-Assurance Cryptographic Library

    1 project | news.ycombinator.com

  • F* – A Proof-Oriented Programming Language

    4 projects | news.ycombinator.com

  • Why is there no simple C-like functional programming language?

    3 projects | /r/functionalprogramming

  • One step forward, an easier interoperability between Rust and Haskell | IOG Engineering

    1 project | /r/haskell

  • [2022 day 7] I created a copy of the elves' filesystem

    1 project | /r/adventofcode
View more »

Newsletter

Many thanks to our great sponsors

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured