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
hardware-buttons scrape-images linkedin-bot

InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
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!

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo

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

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

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

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

  • 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