idris-jvm
Arthas
idris-jvm | Arthas | |
---|---|---|
11 | 4 | |
465 | 34,693 | |
- | 0.6% | |
9.3 | 8.3 | |
28 days ago | 8 days ago | |
Idris | Java | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idris-jvm
-
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.
Arthas
- FLaNK Stack Weekly for 20 June 2023
-
What's the most interesting open-source project to study?
Arthas
-
Best performance monitoring tools?
Arthas can be pretty useful depending on what you're looking for. https://github.com/alibaba/arthas
-
Alibaba Summer of Code 2020 – Arthas Final Report
Issue
What are some alternatives?
order-taking - Idris version of Domain Modeling Made Functional Book.
bucket4j - Java rate limiting library based on token-bucket algorithm.
Play - The Community Maintained High Velocity Web Framework For Java and Scala.
async-profiler - Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events [Moved to: https://github.com/async-profiler/async-profiler]
JavaGuide - 「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试,首选 JavaGuide!
java-diff-utils - Diff Utils library is an OpenSource library for performing the comparison / diff operations between texts or some kind of data: computing diffs, applying patches, generating unified diffs or parsing them, generating diff output for easy future displaying (like side-by-side view) and so on.
rust - Empowering everyone to build reliable and efficient software.
async-profiler - Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
Agaram - agaram is an interpreted programming language in tamil
opentelemetry-java - OpenTelemetry Java SDK
Flowable (V6) - A compact and highly efficient workflow and Business Process Management (BPM) platform for developers, system admins and business users.
Jaeger client - 🛑 This library is DEPRECATED!