AnyDSL / thorinLinks
The Higher-Order Intermediate Representation
☆161Updated 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☆158Updated 5 months ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- Unison's source code☆108Updated last year
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆204Updated 5 years ago
- ☆53Updated last year
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆206Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- C++ parser combinator library☆97Updated 10 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- surgical precision JIT compilers☆122Updated 8 years ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- Yet Another Earley Parser☆141Updated 3 years ago
- MimIR is my Intermediate Representation☆78Updated last week
- ☆89Updated 3 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- 1ML prototype interpreter☆288Updated 5 years ago
- Meta project to quickly build dependencies☆103Updated 4 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- A Scannerless GLR parser/parser generater.☆113Updated 5 months ago
- Cogent Project☆169Updated 7 months ago
- SSA vs ANF☆43Updated 10 years ago
- Lightweight framework for easy and efficient code generation☆104Updated last year
- A compiler for functional programs on serialized data☆172Updated this week
- A Compiler for the Popr Language☆253Updated 4 years ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago
- a little JIT VM language for (probably/eventually) terminal UI apps.☆61Updated 7 years ago