Top 4 Trending F* Projects
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 | FStar | 2.2% |
2 | mitls-fstar | 0.6% |
3 | hacl-star | 0.6% |
4 | bertie | 0.0% |