F* LibHunt

Discover popular and related F* open-source projects

3
13
14
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

FStar

hacl-star
Mentions Stars Project Description
4 2,136
FStar
 Verification system for effectful programs
1 40
Creality_Ender_3_ESP32_Board

Popular F* Topics

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

Latest Mentions

Latest mentioned F* repos
Stars Project
2,136 FStar
40 Creality_Ender_3_ESP32_Board
1,397 hacl-star

Latest Discoveries

Latest discovered F* repos
Stars Project
40 Creality_Ender_3_ESP32_Board
2,136 FStar
1,397 hacl-star

99remotejobs.com

Find remote jobs at our new job board 99remotejobs.com.
There are 34 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.