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

Our great sponsors
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • SonarQube - Static code analysis for 29 languages.
  • Revelo Payroll - Free Global Payroll designed for tech teams
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
Our great sponsors

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

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

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