Trending F* Projects

This page lists the top trending F* projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 15 Apr 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 4 Trending F* Projects

  • bertie

    Bertie TLS 1.3 Implementation

  • mitls-fstar

    Verified implementation of TLS 1.3 in F*

  • FStar

    A Proof-oriented Programming Language

  • hacl-star

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

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.

Index

What are some of the trending open-source F* projects? This list will help you:

Project Growth
1 bertie 2.8%
2 mitls-fstar 1.2%
3 FStar 1.0%
4 hacl-star 0.6%