Discover trending F*
open-source projects

6
24
59
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

bertie

FStar

hacl-star

mitls-fstar
Mentions
@
 Stars Project Description
44 2,615
FStar
 A Proof-oriented Programming Language
9 1,592
hacl-star
 HACL*, a formally verified cryptographic library written in F*
1 173
mitls-fstar
 Verified implementation of TLS 1.3 in F*
1 111
bertie
 Bertie TLS 1.3 Implementation
1 5
advent-of-code-2022

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
2,615 FStar
1,592 hacl-star
111 bertie
173 mitls-fstar
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board

Latest Discoveries

Latest discovered F* repos
Stars Project
111 bertie
173 mitls-fstar
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board
2,615 FStar
1,592 hacl-star

Recently updated posts

  • F* – A Proof-Oriented Programming Language

    4 projects | news.ycombinator.com

  • Why is there no simple C-like functional programming language?

    3 projects | /r/functionalprogramming

  • One step forward, an easier interoperability between Rust and Haskell | IOG Engineering

    1 project | /r/haskell

  • [2022 day 7] I created a copy of the elves' filesystem

    1 project | /r/adventofcode

  • [Hobby] Amateur Generalist Programmer Seeking to Put Bugfixing Skills to Good Use

    2 projects | /r/INAT
View more »

Newsletter