The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Idris-jvm Alternatives
Similar projects and alternatives to idris-jvm based on common topics and language
-
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.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better idris-jvm alternative or higher similarity.
idris-jvm reviews and mentions
Posts with mentions or reviews of idris-jvm.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-26.
-
Idris 2 0.6.0 is now available for the JVM
Hello, I am the author of Idris JVM. Thank you for your feedback. I will update the README to include a link for JVM interop. For now, this file https://github.com/mmhelloworld/idris-jvm/blob/main/libs/bas... , demonstrates how the interop looks like currently. The %foreign directive takes an FFI descriptor to talk to the respective backends. Here you can see few scheme and JVM descriptors starting with "scheme:" and "jvm:" respectively. The JVM descriptors there also show constructor calls ``, instance methods `.lock` and static methods `getThreadData`.
Github
-
What about Scala 3?
Unfortunately, since Eta is no longer maintained and Frege never was quite Haskell, there's no Haskell implementation on the JVM, so you either have to make due with "impure" Scala/Kotlin or make the jump to the Idris2 JVM backend (https://github.com/mmhelloworld/idris-jvm).
-
Idris 2 0.5.1 for JVM
Hello everyone, I am happy to announce that Idris 2 JVM backend has finally caught up to Idris 2 latest version and now supports Idris 2 0.5.1. The release is here https://github.com/mmhelloworld/idris-jvm/releases/tag/v0.5.1. Any feedback is welcome.
-
I just created an interpreted programming language in tamil
Great work! I am currently working on something similar but a compiler backend for Idris language to compile to JVM bytecode https://github.com/mmhelloworld/idris-jvm and I've always wanted to create one with Tamil so this is awesome! One suggestion as I see you want to compile this instead of interpreted version is to have an intermediate language so that it is backend agnostic and we can easily plug different backends to compile to possibly JVM, JavaScript and even native then we can use a Tamil programming language everywhere :). As for intermediate language, we can even compile to existing IRs like Idris or Scala IR then we can readily use existing compiler backends.
-
Announcing Idris 2 0.3.0 for the JVM
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.
-
A note from our sponsor - WorkOS
workos.com | 20 Apr 2024
Stats
Basic idris-jvm repo stats
11
464
9.4
15 days ago
mmhelloworld/idris-jvm is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of idris-jvm is Idris.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com