Statistics for language F*

RepositoryStats tracks 617,592 Github repositories, of these 7 are reported to use a primary language of F*.

Most starred repositories for language F* (view more)

237
2.8k
apache-2.0
80
A Proof-oriented Programming Language
Created 2014-04-03
38,467 commits to master branch, last one 21 hours ago
173
1.6k
apache-2.0
78
HACL*, a formally verified cryptographic library written in F*
Created 2016-06-23
18,871 commits to main branch, last one a day ago
15
265
apache-2.0
31
Automated generation of provably secure, zero-copy parsers from format specifications
Created 2018-01-08
2,530 commits to master branch, last one 20 hours ago
4
118
apache-2.0
11
Bertie TLS 1.3 Implementation
Created 2021-12-19
403 commits to main branch, last one 27 days ago
Bioinformatics tool to find integrons in bacterial genomes
Created 2015-06-16
1,280 commits to master branch, last one 8 months ago
5
33
apache-2.0
16
The Steel separation logic library for F*
Created 2023-04-13
5,879 commits to main branch, last one 2 days ago

Trending repositories for language F* (view more)