AnyDSL / impala
An imperative and functional programming language
☆152Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for impala
- The Higher-Order Intermediate Representation☆151Updated this week
- Meta project to quickly build dependencies☆101Updated 2 weeks ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆110Updated 11 months ago
- A compiler for functional programs on serialized data☆157Updated last week
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆187Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- 1ML prototype interpreter☆270Updated 4 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆68Updated 7 years ago
- The Makam Metalanguage☆194Updated last year
- The AlteRnaTive Impala Compiler☆26Updated 2 weeks ago
- Kaleidoscope Tutorial using llvm-hs☆81Updated 3 years ago
- Higher-order optimization library☆73Updated last year
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- The Shine compiler for the RISE language☆73Updated this week
- ☆51Updated 3 weeks ago
- Bottom Up Rewrite Generator☆26Updated 7 years ago
- ☆89Updated 3 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 4 years ago
- Plasma Programming Language☆162Updated 2 months ago
- surgical precision JIT compilers☆120Updated 7 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- ☆87Updated 2 years ago
- Prototype type inference engine☆196Updated 3 months ago
- SSA vs ANF☆41Updated 9 years ago