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 9 years ago
- Compile Haskell-like code into C++ template metaprograms☆59Updated 8 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- 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 cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- Functors, Monads and Free Monads in C++☆18Updated last year
- C++ compile-time Prolog interpreter☆66Updated 11 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆52Updated 5 years ago
- C++ template metaprogramming library collection☆127Updated 9 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- Generates benchmark data for two different data structures, then renders some graphs.☆112Updated 5 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Comparison of build program expressive power☆88Updated 5 years ago
- Library for generating ABI-compliant LLVM IR☆60Updated 5 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 3 years ago
- A c++17 recursive-descent generic parsing library that supports left recursion, tokenization, AST tree creation, multiple error handling …☆96Updated 2 months ago
- Support for Currying and Function Composition in C++☆61Updated 9 years ago
- ☆89Updated 3 years ago
- A lightweight conservative garbage collector for C/C++☆122Updated 6 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆46Updated 7 years ago
- An imperative and functional programming language☆153Updated last month
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.☆35Updated 8 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- The Higher-Order Intermediate Representation☆155Updated last week
- transducers in C++ 14☆40Updated 10 years ago
- compile time assembly interpreter☆85Updated 7 years ago