idris-jvm
JavaGuide
| idris-jvm | JavaGuide | |
|---|---|---|
| 11 | 3 | |
| 465 | 143,187 | |
| - | - | |
| 9.3 | 9.6 | |
| 28 days ago | 7 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.
JavaGuide
What are some alternatives?
order-taking - Idris version of Domain Modeling Made Functional Book.
CS-Notes - :books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计
Play - The Community Maintained High Velocity Web Framework For Java and Scala.
jeecg-boot - 🔥「企业级低代码平台」前后端分离架构SpringBoot 2.x/3.x，SpringCloud，Ant Design&Vue，Mybatis，Shiro，JWT。强大的代码生成器让前后端代码一键生成，无需写任何代码! 引领新的开发模式OnlineCoding->代码生成->手工MERGE，帮助Java项目解决70%重复工作，让开发更关注业务，既能快速提高效率，帮助公司节省成本，同时又不失灵活性。
Arthas - Alibaba Java Diagnostic Tool Arthas/Alibaba Java诊断利器Arthas
TokenTool - TokenTool removes much of the tedium from creating tokens for use with MapTool or your favorite online gaming application. Just drag an image into the background, select a frame, zoom and pan to suit, and drag off a finished token. The resulting token is transparent around the edges and cropped to the size you wanted.
rust - Empowering everyone to build reliable and efficient software.
maptool - Virtual Tabletop for playing roleplaying games with remote players or face to face.
Agaram - agaram is an interpreted programming language in tamil
obfuscator - A java obfuscator (GUI)
spring-boot-demo - 🚀一个用来深入学习并实战 Spring Boot 的项目。
JRomManager - Java Rom Manager