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
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- An imperative and functional programming language☆157Updated 3 months ago
- The Higher-Order Intermediate Representation☆158Updated last week
- Solving the Expression Problem in C++11☆45Updated 12 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆205Updated last year
- A compiler from ML to C++ template language☆158Updated 10 years ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- Continuation Passing C☆113Updated 6 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Yet Another Earley Parser☆141Updated 3 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- Quick C-- compiler (no longer maintained)☆159Updated 11 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 8 years ago
- A Scannerless GLR parser/parser generater.☆112Updated 4 months ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- Comparison of build program expressive power☆88Updated 5 years ago
- sandbox for my c++ functional programming experiments☆33Updated 12 years ago
- BSD Licensed Bignum Library☆232Updated last year
- A lightweight conservative garbage collector for C/C++☆123Updated 6 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 2 months ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆175Updated 4 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- Compiler and tools for the Loci programming language.☆116Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- QuickCheck-like property based automated testing tool for C++☆111Updated 8 years ago