AnyDSL / impalaLinks
An imperative and functional programming language
☆161Updated 7 months 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☆160Updated this week
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 13 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆207Updated 5 years ago
- C++ parser combinator library☆99Updated 10 years ago
- Yet Another Earley Parser☆141Updated 3 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆159Updated 6 years ago
- ☆55Updated last year
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆72Updated 8 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- Meta project to quickly build dependencies☆104Updated 2 months ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Updated last year
- A Compiler for the Popr Language☆256Updated 5 years ago
- The Whiley Compiler (WyC)☆226Updated 2 years ago
- A compiler for functional programs on serialized data☆173Updated this week
- Unison's source code☆110Updated last year
- Modernized Sisal Interpreter☆29Updated 7 years ago
- Plasma Programming Language☆167Updated 8 months ago
- The Encore compiler.☆44Updated 5 years ago
- Regionalized Value State Dependence Graph written in Rust☆11Updated 6 years ago
- 1ML prototype interpreter☆290Updated 5 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 9 years ago
- SSA vs ANF☆47Updated 10 years ago
- Compile Haskell-like code into C++ template metaprograms☆66Updated 9 years ago
- Compiler and tools for the L programming language☆72Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆53Updated 6 months ago
- ☆89Updated 3 years ago
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago