Idris: A Language for Type-Driven Development

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • lean4

    Lean 4 programming language and theorem prover

  • terra

    Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

    Terra is a language that can also do that, and uses Lua as the metaprogramming language. Types are just Lua values.

    But unfortunately, there's a lot of work left kind of half-baked so using the language is a pain... if someone invested a lot of time to make Terra work properly and added some tooling around it, wrote proper docs and so on, it would be a really interesting language.

    https://terralang.org/

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

  • hoogle

    Haskell API search engine

    You had a look at Hoogle?

    https://hoogle.haskell.org/

    For some type signatures there is (are) only one (or only a few) meaningful implementation(s).

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