idris-llvm

LLVM compiler

A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs

Idris LLVM codegen factored out

GitHub
78 stars
34 watching
13 forks
Language: Haskell
last commit: over 7 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
mmhelloworld/idris-jvm Provides a JVM backend for the Idris programming language. 469
llvm-hs/llvm-hs-kaleidoscope A Haskell-based compiler backend that uses LLVM to generate and compile machine code 82
acceleratehs/accelerate-llvm Compiles Accelerate code to LLVM IR and executes it on CPUs or NVIDIA GPUs 158
llvm-hs/llvm-hs-examples Demonstrates Haskell bindings to the LLVM compiler infrastructure 71
igor84/summus A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. 234
sam46/paskell A compiler that translates Pascal source code into LLVM IR and can be executed directly or used to generate native machine code. 126
bos/llvm Haskell bindings to the LLVM compiler infrastructure project 104
lemmih/lhc Compiles Haskell2010 code to LLVM IR using a custom optimization pipeline 198
jaseemabid/olifant A language targeting LLVM with the goal of building a simple compiler 64
holzschu/llvm A toolkit for building highly optimized compilers and runtime environments. 54
talw/crisp-compiler A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend 99
draperlaboratory/llvm-cbe A resurrected and improved implementation of the LLVM C Backend in Groff, enabling compilation of programs written in various programming languages to native machine code. 127
kit-ty-kate/labrys A compiler for a toy language based on LLVM that implements the System Fω type-system 103
takenobu-hs/haskell-ethereum-assembly A Haskell-based DSL for generating Ethereum Virtual Machine (EVM) bytecode 66
sdiehl/kaleidoscope A Haskell implementation of an LLVM JIT compiler 1,029