Announcing Idris 2 0.3.0 for the JVM

This page summarizes the projects mentioned and recommended in the original post on /r/Idris
idris Jvm Java

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

  • idris-jvm

    JVM bytecode back end for Idris

    • Release is here: https://github.com/mmhelloworld/idris-jvm/releases/tag/latest. Now the JVM backend is one step away to catching up to latest Idris 2 version 0.4.0. To try it out, if Java 8 or above is already installed on the system, we can just download the archive and be able to run the compiler right away without any additional installation. More details on the release page.

  • 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

  • Idris 2 0.6.0 is now available for the JVM

    1 project | /r/patient_hackernews | 27 Feb 2023

  • Idris 2 0.6.0 is now available for the JVM

    1 project | /r/hackernews | 27 Feb 2023

  • Idris 2 0.6.0 is now available for the JVM

    1 project | /r/hypeurls | 27 Feb 2023

  • Idris 2 0.6.0 is now available for the JVM

    1 project | /r/Idris | 26 Feb 2023

  • What about Scala 3?

    1 project | /r/haskell | 15 Aug 2022