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
Mentions
@
Stars Project Description
1 2,331 A Proof-oriented Programming Language
1 1,453 HACL*, a formally verified cryptographic library written in F*

Popular F* Topics

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