jaredhoberock / hindley_milnerLinks
A C++11 implementation of Hindley-Milner type inference.
☆80Updated 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☆156Updated 2 months ago
- The Higher-Order Intermediate Representation☆156Updated last week
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- Solving the Expression Problem in C++11☆45Updated 12 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated last year
- A lightweight conservative garbage collector for C/C++☆123Updated 6 years ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- Continuation Passing C☆113Updated 6 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆200Updated 5 years ago
- Functors, Monads and Free Monads in C++☆18Updated 2 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- Simple C++ Parser Combinator Library☆15Updated 9 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆122Updated last year
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- BSD Licensed Bignum Library☆233Updated last year
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 8 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 8 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆175Updated 4 years ago
- A more powerful C/C++ preprocessor.☆87Updated 5 years ago
- Yet Another Earley Parser☆139Updated 3 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Composable monadic STM for C++ on Free monads☆77Updated 5 years ago
- Tutorial on integrating C++ and Haskell☆89Updated 5 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 3 years ago