AnyDSL / impala
An imperative and functional programming language
☆153Updated this week
Related projects ⓘ
Alternatives and complementary repositories for impala
- The Higher-Order Intermediate Representation☆151Updated this week
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- A compiler for functional programs on serialized data☆158Updated this week
- Meta project to quickly build dependencies☆102Updated last month
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- A C++11 implementation of Hindley-Milner type inference.☆78Updated 11 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆188Updated 4 years ago
- The Makam Metalanguage☆194Updated last year
- C++ parser combinator library☆97Updated 9 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- 1ML prototype interpreter☆271Updated 4 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Alternative algorithm for algebraic subtyping.☆149Updated 3 weeks ago
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- Plasma Programming Language☆163Updated 2 months ago
- LLVM backend for Accelerate☆158Updated 2 months ago
- ☆49Updated 8 months ago
- ☆87Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…☆34Updated 7 years ago
- Prototype type inference engine☆197Updated 3 months ago
- Higher-order optimization library☆73Updated last year
- A Compiler for the Popr Language☆243Updated 3 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 4 years ago
- Spartan type theory☆257Updated 6 months ago
- Staged compilation with dependent types☆162Updated this week
- SSA vs ANF☆41Updated 9 years ago
- History of Programming Languages, Spring 2017☆132Updated 6 years ago