Discover trending F*
open-source projects

3
20
43
Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Scout APM - Truly a developer’s best friend
  • Zigi - The context switching struggle is real
  • SonarLint - Clean code begins in your IDE with SonarLint
Our great sponsors

FStar

hacl-star
Mentions
@
 Stars Project Description
1 2,331
FStar
 A Proof-oriented Programming Language
1 1,453
hacl-star
 HACL*, a formally verified cryptographic library written in F*

Popular F* Topics

#Verification #proof-assistant #Formal Verification #High Performance #Ocaml #programming-language #verified-primitives #theorem-proving #c-language #fstar #hacl #everest #Security #Inria #f-sharp #Dependent Types #Formal Methods #Cryptography #SMT

Latest Mentions

Latest mentioned F* repos
Stars Project
1,453 hacl-star
2,331 FStar
45 Creality_Ender_3_ESP32_Board

Latest Discoveries

Latest discovered F* repos
Stars Project
45 Creality_Ender_3_ESP32_Board
2,331 FStar
1,453 hacl-star

Recently updated posts

View more »

Newsletter