Statistics for language F*

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

Most starred repositories for language F* (view more)

233

2.7k

apache-2.0

A Proof-oriented Programming Language

smt fstar ocaml f-sharp c-language verification dependent-types proof-assistant theorem-proving programming-language

Created 2014-04-03

37,873 commits to master branch, last one 11 days ago

169

1.6k

apache-2.0

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

hacl inria everest security cryptography verification formal-methods high-performance formal-verification verified-primitives

Created 2016-06-23

18,763 commits to main branch, last one 24 days ago

251

apache-2.0

Automated generation of provably secure, zero-copy parsers from format specifications

Created 2018-01-08

2,458 commits to master branch, last one 10 days ago

113

apache-2.0

Bertie TLS 1.3 Implementation

Created 2021-12-19

370 commits to main branch, last one 7 days ago

gpl-3.0

Bioinformatics tool to find integrons in bacterial genomes

bioinformatics identification bacterial-genomes

Created 2015-06-16

1,280 commits to master branch, last one 6 months ago

apache-2.0

The Steel separation logic library for F*

Created 2023-04-13

5,831 commits to main branch, last one about a month ago