Discover awesome F*
open-source projects

7
26
65
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
featured
everparse
hacl-star
bertie
FStar
Mentions
@
 Stars Project Description
We couldn't find any libraries for the selected period

Popular F* Topics

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

Latest Mentions

Latest mentioned F* repos
Stars Project
2,870 FStar
173 mitls-fstar
1,769 hacl-star
119 bertie
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board

Latest Discoveries

Latest discovered F* repos
Stars Project
279 everparse
119 bertie
173 mitls-fstar
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board
2,870 FStar
1,769 hacl-star

Recently updated posts

View more »

Newsletter

Many thanks to our great sponsors

InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
Loading...