idris-malfunction
by stedolan
Experimental Malfunction backend for Idris
AI summary
Compiler
An experimental compiler that translates Idris code into the Malfunction programming language.
- stars
- 81
- forks
- 6
- watching
- 15
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
LLVM compiler
A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
Idris compiler
Provides a JVM backend for the Idris programming language.
Compiler experiment
An experimental language research project exploring alternative memory management strategies at compile-time using data-flow analysis and static approximation.
Functional programming language
A development repository for a dependently typed functional programming language
Rust wrapper
A proof-of-concept demonstrating how to call Rust code from Haskell
Haskell compiler
Compiles Haskell to WebAssembly for use in web applications
IDL compiler
Compiles Erlang IDL files into compiled code using Rebar3
System compiler
A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed.
Parallel data processor
A Haskell-based framework for processing and distributing large datasets across multiple nodes in parallel.
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
faylang/fay1.3K
Haskell compiler
A programming language that compiles to JavaScript, based on Haskell.
Haskell compiler
Provides tools and exercises for practicing functional programming in Haskell
Processor language
An experimental language prototype designed for modern processors with an aim to create an imperative programming language.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-malfunction.
