AnyDSL / thorinLinks
The Higher-Order Intermediate Representation
☆155Updated last 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 month
- ☆88Updated 2 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- ☆53Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated last year
- Unison's source code☆107Updated last year
- Meta project to quickly build dependencies☆102Updated 3 weeks ago
- 1ML prototype interpreter☆282Updated 4 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- A compiler for functional programs on serialized data☆164Updated last week
- Library for generating ABI-compliant LLVM IR☆60Updated 5 years ago
- C++ parser combinator library☆97Updated 9 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago
- A work-in-progress language and compiler for verified low-level programming☆309Updated this week
- ☆89Updated 3 years ago
- Yet Another Earley Parser☆139Updated 3 years ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated 2 years ago
- MimIR is my Intermediate Representation☆68Updated this week
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- simple snapshot-style integration testing for commands☆71Updated 3 weeks ago
- Cogent Project☆165Updated 3 months ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆174Updated 3 years ago
- A static verifier for concurrent C programs☆135Updated 4 years ago
- Alternative algorithm for algebraic subtyping.☆166Updated last month