idris-malfunction
Compiler
An experimental compiler that translates Idris code into the Malfunction programming language.
Experimental Malfunction backend for Idris
81 stars
15 watching
6 forks
Language: Haskell
last commit: over 6 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 idris-hackers/idris-koans | Learning Idris by fixing failing code in a series of small exercises | 179 |
| idris-hackers/idris-llvm | A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs | 78 |
 idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
 mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 469 |
 doctorn/micro-mitten | An experimental language research project exploring alternative memory management strategies at compile-time using data-flow analysis and static approximation. | 536 |
| idris-lang/idris-dev | A development repository for a dependently typed functional programming language | 3,435 |
 aisamanra/rust-haskell-ffi | A proof-of-concept demonstrating how to call Rust code from Haskell | 131 |
 dfinity-side-projects/dhc | Compiles Haskell to WebAssembly for use in web applications | 166 |
 sebastiw/rebar3_idl_compiler | Compiles Erlang IDL files into compiled code using Rebar3 | 0 |
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 248 |
 utdemir/distributed-dataset | A Haskell-based framework for processing and distributing large datasets across multiple nodes in parallel. | 116 |
| idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
 faylang/fay | A programming language that compiles to JavaScript, based on Haskell. | 1,283 |
 1haskelladay/1had | Provides tools and exercises for practicing functional programming in Haskell | 118 |
 mathnerd314/stroscot | An experimental language prototype designed for modern processors with an aim to create an imperative programming language. | 13 |