idris-llvm
Idris LLVM codegen factored out
AI summary
LLVM compiler
A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs
- stars
- 78
- forks
- 13
- watching
- 34
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Idris compiler
Provides a JVM backend for the Idris programming language.
Compiler backend
A Haskell-based compiler backend that uses LLVM to generate and compile machine code
Compiler
Compiles Accelerate code to LLVM IR and executes it on CPUs or NVIDIA GPUs
LLVM examples
Demonstrates Haskell bindings to the LLVM compiler infrastructure
Compiler
A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes.
Pascal compiler
A compiler that translates Pascal source code into LLVM IR and can be executed directly or used to generate native machine code.
bos/llvm105
LLVM interface
Haskell bindings to the LLVM compiler infrastructure project
lemmih/lhc198
Compiler pipeline
Compiles Haskell2010 code to LLVM IR using a custom optimization pipeline
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Compiler toolkit
A toolkit for building highly optimized compilers and runtime environments.
Haskell compiler
A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend
C Compiler
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.
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
bytecode generator
A Haskell-based DSL for generating Ethereum Virtual Machine (EVM) bytecode
JIT compiler
A Haskell implementation of an LLVM JIT compiler
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-llvm.
