idris-jvm
by mmhelloworld
JVM bytecode back end for Idris
AI summary
Idris compiler
Provides a JVM backend for the Idris programming language.
- stars
- 470
- forks
- 26
- watching
- 30
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
LLVM compiler
A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
HTTP library
An HTTP library for Idris
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
ML server builder
Automates the setup and training of machine learning algorithms on remote servers
Java bytecode compiler
An ahead-of-time compiler for Java bytecode targeting multiple platforms and languages
Bytecode translator
A tool to interpret and transpile JVM bytecode into other programming languages like JavaScript, WebAssembly, or OpenCL.
jmorag/mcc116
Compiler
Compiles the MicroC programming language into machine code using Haskell
Compiler backend
A Haskell-based compiler backend that uses LLVM to generate and compile machine code
JavaScript binder
Provides safe interface to JavaScript's unsafe world
VIM compiler
Compiles VIM on a Golem Network node and runs it on a native machine.
JVM docs
A comprehensive documentation of the Java Virtual Machine (JVM) and its internal workings.
IDL compiler
A tool for compiling IDL files into executable code and enabling RPC/distributed object interactions between microservices.
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-jvm.
