This is stars and forks stats for /mmhelloworld/idris-jvm repository. As of 26 Apr, 2024 this repository has 457 stars and 26 forks.
Idris 2 for JVM Idris 2 is a purely functional programming language with first class types. This repository provides Idris 2 compiler targeting JVM bytecode so that Idris 2 compiler and Idris 2 programs can run on the JVM. Install Download the latest Idris 2 JVM release from releases page. Extract the archive and add idris2 launcher script directory <EXTRACTED_DIRECTORY_ROOT>/exec to PATH. Create an environment variable IDRIS2_PREFIX pointing to <EXTRACTED_DIRECTORY_ROOT>/env Example helloworld.idr ...
Idris 2 for JVM Idris 2 is a purely functional programming language with first class types. This repository provides Idris 2 compiler targeting JVM bytecode so that Idris 2 compiler and Idris 2 programs can run on the JVM. Install Download the latest Idris 2 JVM release from releases page. Extract the archive and add idris2 launcher script directory <EXTRACTED_DIRECTORY_ROOT>/exec to PATH. Create an environment variable IDRIS2_PREFIX pointing to <EXTRACTED_DIRECTORY_ROOT>/env Example helloworld.idr ...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
davidfantasy/mybatis-plus-generator-ui | JavaVueJavaScript | 1.3k | 0 | 367 | 0 |
microservices-patterns/ftgo-application | JavaGroovyJavaScript | 3.1k | 0 | 1.2k | 0 |
ecmwf-projects/mooc-machine-learning-weather-climate | Jupyter NotebookOther | 157 | 0 | 155 | 0 |
advimman/lama | Jupyter NotebookPythonOther | 6.3k | +45 | 701 | -1 |
luxonis/depthai-experiments | Jupyter NotebookPythonJavaScript | 695 | 0 | 333 | 0 |
DelphiTeacher/OrangeFreeSDK | PascalJavaObjective-C | 44 | 0 | 22 | 0 |
Razor12911/xtool | PascalC++JavaScript | 145 | 0 | 10 | 0 |
nonoesp/laravel-folio | PHPBladeJavaScript | 96 | 0 | 7 | 0 |
MakiNaruto/Automatic_ticket_purchase | PythonJavaScript | 3k | 0 | 664 | 0 |
PaddlePaddle/PaddleGAN | PythonShellOther | 7.3k | +11 | 1.2k | 0 |