"If you can compile it, there's probably no bugs" languages other than Haskell?

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
Functional programming sel4-microkernel type-safety Os Reactive

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

  • topshell

    TopShell - a purely functional, reactive scripting language

    • I'm working on TopShell, which is in that category.

  • agda-categories

    A new Categories library for Agda

    • Isabelle/HOL has seL4 in it, and is probably one of the best in terms of automation. Lean 3 has the enormous, comprehensive mathlib library of mathematics. Agda has one of the best Category Theory libraries and one of the most fully realised implementations of cubical type theory. F* has Project Everest, which implements a huge amount of cryptographic and networking protocols, and is used in production in projects like Azure and Firefox.

  • 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

  • seL4

    The seL4 microkernel

    • Isabelle/HOL has seL4 in it, and is probably one of the best in terms of automation. Lean 3 has the enormous, comprehensive mathlib library of mathematics. Agda has one of the best Category Theory libraries and one of the most fully realised implementations of cubical type theory. F* has Project Everest, which implements a huge amount of cryptographic and networking protocols, and is used in production in projects like Azure and Firefox.

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

  • What's the syntax of lambda expressions in your language?

    2 projects | /r/ProgrammingLanguages | 2 Feb 2022

  • Are there any language where reactive programming are first class constructs?

    5 projects | /r/ProgrammingLanguages | 5 Jan 2021

  • From L3 to seL4 what have we learnt in 20 years of L4 microkernels? [video]

    2 projects | news.ycombinator.com | 15 Apr 2024

  • Typing Haskell in Haskell

    1 project | news.ycombinator.com | 20 Feb 2024

  • Python Functional Programming with returns library (type-safety, monads, etc.)

    1 project | news.ycombinator.com | 19 Feb 2024