Trending repositories for language F*

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
no repositories trending in the last 3 days
Last 3 days (relative gain)
no repositories trending in the last 3 days
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,700 (+2)
apache-2.0
Last week (relative gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,700 (+0.1%)
apache-2.0
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,700 (+9)
apache-2.0
hacl-star
hacl-star/hacl-star

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

1,628 (+5)
apache-2.0
project-everest
project-everest/everparse

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

251 (+2)
apache-2.0
Last month (relative gain)
project-everest
project-everest/everparse

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

251 (+0.8%)
apache-2.0
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,700 (+0.3%)
apache-2.0
hacl-star
hacl-star/hacl-star

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

1,628 (+0.3%)
apache-2.0
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,700 (+196)
apache-2.0
hacl-star
hacl-star/hacl-star

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

1,628 (+89)
apache-2.0
cryspen
cryspen/bertie

Bertie TLS 1.3 Implementation

113 (+86)
apache-2.0
project-everest
project-everest/everparse

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

251 (+28)
apache-2.0
gem-pasteur
gem-pasteur/Integron_Finder

Bioinformatics tool to find integrons in bacterial genomes

67 (+16)
gpl-3.0
FStarLang
FStarLang/steel

The Steel separation logic library for F*

31 (+13)
apache-2.0
project-everest
project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

173 (+3)
Last 12-months (relative gain)
cryspen
cryspen/bertie

Bertie TLS 1.3 Implementation

113 (+319%)
apache-2.0
FStarLang
FStarLang/steel

The Steel separation logic library for F*

31 (+72%)
apache-2.0
gem-pasteur
gem-pasteur/Integron_Finder

Bioinformatics tool to find integrons in bacterial genomes

67 (+31%)
gpl-3.0
project-everest
project-everest/everparse

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

251 (+13%)
apache-2.0
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,700 (+8%)
apache-2.0
hacl-star
hacl-star/hacl-star

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

1,628 (+6%)
apache-2.0
project-everest
project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

173 (+2%)