AnyDSL / thorinLinks
The Higher-Order Intermediate Representation
☆154Updated this week
Alternatives and similar repositories for thorin
Users that are interested in thorin are comparing it to the libraries listed below
Sorting:
- An imperative and functional programming language☆153Updated last week
- A compiler for functional programs on serialized data☆164Updated this week
- ☆53Updated last year
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Unison's source code☆107Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- ☆89Updated 3 years ago
- ☆88Updated 2 years ago
- Meta project to quickly build dependencies☆102Updated this week
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated 11 months ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated last year
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆173Updated 3 years ago
- A work-in-progress language and compiler for verified low-level programming☆307Updated 2 weeks ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆147Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- graph based intermediate representation and backend for optimising compilers☆508Updated 2 months ago
- A Compiler for the Popr Language☆248Updated 4 years ago
- a little JIT VM language for (probably/eventually) terminal UI apps.☆62Updated 6 years ago
- Prototype type inference engine☆201Updated 4 months ago
- Spartan type theory☆266Updated last year
- Cogent Project☆165Updated 2 months ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago