AnyDSL / impalaLinks
An imperative and functional programming language
☆153Updated 2 weeks ago
Alternatives and similar repositories for impala
Users that are interested in impala are comparing it to the libraries listed below
Sorting:
- The Higher-Order Intermediate Representation☆154Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- A compiler for functional programs on serialized data☆164Updated this week
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Meta project to quickly build dependencies☆102Updated this week
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago
- ☆89Updated 3 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Kaleidoscope Tutorial using llvm-hs☆82Updated 4 years ago
- Higher-order optimization library☆74Updated last year
- Prototype type inference engine☆201Updated 4 months ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- SSA vs ANF☆42Updated 9 years ago
- Compile Haskell-like code into C++ template metaprograms☆59Updated 8 years ago
- The language of the future!☆72Updated last year
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- C++ parser combinator library☆97Updated 9 years ago
- Cogent Project☆165Updated 2 months ago
- MimIR is my Intermediate Representation☆68Updated last week
- ☆53Updated last year
- Yet Another Earley Parser☆139Updated 3 years ago
- The Shine compiler for the RISE language☆82Updated 2 weeks ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago