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: about 9 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
mmhelloworld/idris-jvmProvides a JVM backend for the Idris programming language.470
llvm-hs/llvm-hs-kaleidoscopeA Haskell-based compiler backend that uses LLVM to generate and compile machine code82
acceleratehs/accelerate-llvmCompiles Accelerate code to LLVM IR and executes it on CPUs or NVIDIA GPUs159
llvm-hs/llvm-hs-examplesDemonstrates Haskell bindings to the LLVM compiler infrastructure71
igor84/summusA compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes.234
sam46/paskellA compiler that translates Pascal source code into LLVM IR and can be executed directly or used to generate native machine code.126
bos/llvmHaskell bindings to the LLVM compiler infrastructure project105
lemmih/lhcCompiles Haskell2010 code to LLVM IR using a custom optimization pipeline198
jaseemabid/olifantA language targeting LLVM with the goal of building a simple compiler64
holzschu/llvmA toolkit for building highly optimized compilers and runtime environments.56
talw/crisp-compilerA Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend99
draperlaboratory/llvm-cbeA 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/labrysA compiler for a toy language based on LLVM that implements the System Fω type-system103
takenobu-hs/haskell-ethereum-assemblyA Haskell-based DSL for generating Ethereum Virtual Machine (EVM) bytecode66
sdiehl/kaleidoscopeA Haskell implementation of an LLVM JIT compiler1,033