We Need Simpler Types (speculations on what can be improved in future type systems and on erasing the boundaries between types and values)

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
Formal Verification Formal Methods tlaplus tla-specification coq

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

  • Toy

    A toy programming language.

    • Hello!

  • practical-fm

    A gently curated list of companies using verification formal methods in industry

    • https://github.com/ligurio/practical-fm Look for Coq, Agda, Idris, MS - F*.

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

  • Interested in pursuing a PhD in Formal Methods

    1 project | /r/formalmethods | 29 Jul 2022

  • A list of companies that use formal verification methods

    1 project | news.ycombinator.com | 8 Feb 2021

  • FizzBee: Open-source formal methods tool that's not hard

    1 project | news.ycombinator.com | 1 Apr 2024

  • A Taste of Coq and Correct Code by Construction

    3 projects | news.ycombinator.com | 3 Sep 2023

  • Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?

    2 projects | /r/rust | 4 Jul 2023