jaredhoberock / hindley_milnerLinks
A C++11 implementation of Hindley-Milner type inference.
☆79Updated 12 years ago
Alternatives and similar repositories for hindley_milner
Users that are interested in hindley_milner are comparing it to the libraries listed below
Sorting:
- C++ parser combinator library☆97Updated 10 years ago
- An imperative and functional programming language☆158Updated 5 months ago
- The Higher-Order Intermediate Representation☆161Updated last week
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- Yet Another Earley Parser☆141Updated 3 years ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆204Updated 5 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- Solving the Expression Problem in C++11☆45Updated 13 years ago
- A lightweight conservative garbage collector for C/C++☆122Updated 7 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 8 years ago
- C++ as a Pure Functional Programming Language☆188Updated 6 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆207Updated last year
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 3 years ago
- Simple C++ Parser Combinator Library☆15Updated 10 years ago
- transducers in C++ 14☆40Updated 11 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- A Scannerless GLR parser/parser generater.☆111Updated 6 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆129Updated last year
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Implementation of delimited control for C/C++☆28Updated 13 years ago
- C++ template metaprogramming library collection☆128Updated 9 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆53Updated 4 months ago
- ☆55Updated last year
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆176Updated 4 years ago
- C++11 Parsing Expression Grammar Generator☆24Updated 5 years ago