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 20 Jan 2025.
» Get a weekly report «
straight in your inbox. Every Friday.
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:
