idris-jvm
Idris compiler
Provides a JVM backend for the Idris programming language.
JVM bytecode back end for Idris
470 stars
30 watching
26 forks
Language: Idris
last commit: 3 months ago
Linked from 1 awesome list
idrisjavajvm
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 idris-hackers/idris-llvm | A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs | 78 |
 idris-industry/ikan | A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility. | 34 |
 idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
 uwap/idris-http | An HTTP library for Idris | 40 |
| idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
 jgreenemi/parris | Automates the setup and training of machine learning algorithms on remote servers | 316 |
 mobivm/robovm | An ahead-of-time compiler for Java bytecode targeting multiple platforms and languages | 970 |
 mirkosertic/bytecoder | A tool to interpret and transpile JVM bytecode into other programming languages like JavaScript, WebAssembly, or OpenCL. | 903 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 llvm-hs/llvm-hs-kaleidoscope | A Haskell-based compiler backend that uses LLVM to generate and compile machine code | 82 |
| idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
 canokaue/gvm-vim | Compiles VIM on a Golem Network node and runs it on a native machine. | 0 |
 bliblidotcom/jvm-handbook | A comprehensive documentation of the Java Virtual Machine (JVM) and its internal workings. | 4 |
 nirum-lang/nirum | A tool for compiling IDL files into executable code and enabling RPC/distributed object interactions between microservices. | 121 |
| idris-hackers/idris-koans | Learning Idris by fixing failing code in a series of small exercises | 178 |