AnyDSL / impala
An imperative and functional programming language
☆153Updated 2 months ago
Alternatives and similar repositories for impala:
Users that are interested in impala are comparing it to the libraries listed below
- The Higher-Order Intermediate Representation☆154Updated last month
- A compiler for functional programs on serialized data☆158Updated this week
- Hindley-Milner Type Inference implemented in (although not for) Python.☆92Updated 3 years ago
- Meta project to quickly build dependencies☆103Updated last month
- Higher-order optimization library☆74Updated last year
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- SSA vs ANF☆42Updated 9 years ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- C++ parser combinator library☆97Updated 9 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- ☆89Updated 3 years ago
- Kaleidoscope Tutorial using llvm-hs☆82Updated 3 years ago
- 1ML prototype interpreter☆280Updated 4 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆117Updated 4 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆69Updated 8 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- LLVM backend for Accelerate☆164Updated 6 months ago
- The Shine compiler for the RISE language☆79Updated this week
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆193Updated 9 months ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆97Updated 2 years ago
- A small compiler for PCF☆123Updated 4 years ago
- Classic Algorithm W for type inference.☆253Updated 14 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆195Updated 4 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago