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
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- The Higher-Order Intermediate Representation☆161Updated this week
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- C++ as a Pure Functional Programming Language☆188Updated 6 years ago
- Header-only C++17 library for property-based testing.☆128Updated last year
- Solving the Expression Problem in C++11☆45Updated 12 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- Simple C++ Parser Combinator Library☆15Updated 10 years ago
- Quick C-- compiler (no longer maintained)☆162Updated 11 years ago
- BSD Licensed Bignum Library☆232Updated last year
- Continuation Passing C☆115Updated 6 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆204Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆206Updated last year
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- A Scannerless GLR parser/parser generater.☆113Updated 5 months ago
- A more powerful C/C++ preprocessor.☆89Updated 5 years ago
- Yet Another Earley Parser☆141Updated 3 years ago
- transducers in C++ 14☆40Updated 11 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- C++11 Parsing Expression Grammar Generator☆24Updated 5 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆48Updated 7 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 8 years ago