F* – A Proof-Oriented Programming Language

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Verification Cryptography programming-language verified-primitives High Performance

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

  • FStar

    A Proof-oriented Programming Language

  • fstar-vscode-assistant

    An interactive mode for F* in VS Code

    • Have you seen https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.

    We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el

  • 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.

    InfluxDB logo

  • fstar-mode.el

    Emacs support for F*

    • Have you seen https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.

    We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el

  • hacl-star

    HACL*, a formally verified cryptographic library written in F*

    • F* existed before Project Everest, but Everest did power a lot of its development.

    We have built verified systems and components in the TLS ecosystem, including parts of TLS, QUIC and related protocols, and continue to do so: https://project-everest.github.io/

    Some of it is deployed in production systems:

    * Verified parsers in the Windows kernel and elsewhere: https://www.microsoft.com/en-us/research/blog/everparse-hard...

    * Verified crypto in Linux, Firefox, Python, ... https://github.com/hacl-star/hacl-star

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors

    4 projects | news.ycombinator.com | 13 Sep 2021

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

    1 project | /r/haskell | 27 Jan 2023

  • Awesome Rust Cryptography list compiled by the Rust Cryptography Interest Group (RCIG)

    4 projects | /r/rust | 27 Jul 2021

  • A Memory Safe TLS Module for the Apache HTTP Server

    1 project | /r/rust | 2 Feb 2021

  • Translation of the Rust's core and alloc crates to Coq for formal verification

    3 projects | news.ycombinator.com | 15 May 2024