Discover trending F*
open-source projects

6
23
56
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

mitls-fstar

hacl-star
Mentions
@
 Stars Project Description
We couldn't find any libraries for the selected period

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
110 bertie
2,570 FStar
172 mitls-fstar
1,585 hacl-star
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board

Latest Discoveries

Latest discovered F* repos
Stars Project
110 bertie
172 mitls-fstar
5 advent-of-code-2022
45 Creality_Ender_3_ESP32_Board
2,570 FStar
1,585 hacl-star

Recently updated posts

  • 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

  • Use-After-Freedom: MiraclePtr

    1 project | news.ycombinator.com
View more »

Newsletter