A C++11 implementation of Hindley-Milner type inference.
☆80Dec 11, 2012Updated 13 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:
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Mar 7, 2022Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- C++Now 2016 talk - Pulling Visitors: Boost.Graph + Boost.Coroutine☆10May 13, 2016Updated 9 years ago
- ☆15Feb 7, 2025Updated last year
- Simple C++ Parser Combinator Library☆15Oct 21, 2015Updated 10 years ago
- Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS☆17Nov 9, 2017Updated 8 years ago
- the Meta-II VM in C☆21Aug 16, 2015Updated 10 years ago
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Type Inference Library written in TypeScript☆93May 7, 2023Updated 2 years ago
- Combinator Parsers using C++ 17☆11May 27, 2021Updated 4 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆91Dec 10, 2018Updated 7 years ago
- An OCaml javascript kernel for the IPython notebook☆58Sep 3, 2017Updated 8 years ago
- Filetree code for the Mist project (mist-project.org)☆31Apr 29, 2016Updated 9 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- C++1z variant, never empty, constexpr visit/multivisit (perfect forwarding for visitor and its parameters), delayed visitor, composite vi…☆13Nov 16, 2016Updated 9 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- Hindley Milner Type Inference in Rust☆12Oct 4, 2017Updated 8 years ago
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 11 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- Lambda Calculus compiler targeting x86, written in Racket☆11Jun 14, 2020Updated 5 years ago
- The Hindley Milner Type Inference Algorithm☆376Dec 11, 2016Updated 9 years ago
- little test driven handle library in c☆12Mar 1, 2021Updated 5 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 7 years ago
- Open-source library for MODBUS TCP and UDP☆18Jul 9, 2014Updated 11 years ago
- The Linda process coordination language written in Clojure.☆27Sep 18, 2015Updated 10 years ago
- Implementation of JSON schema for pharo☆16May 6, 2024Updated last year
- An implementation of the Arc programming language☆28Feb 8, 2026Updated last month
- Javascript AST to CFG converter☆21Jun 12, 2016Updated 9 years ago
- A very boring programming language☆12Aug 19, 2025Updated 6 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- Standalone C++11 implementation of variant☆13May 18, 2020Updated 5 years ago
- This was the working repo for Eero changes to clang. Please build using llvm from this project. See eerolanguage/eero for example code, i…☆161Jun 13, 2014Updated 11 years ago
- Lightweight JVM, might work with MCU-less ARM controller boards (I hope)☆13Oct 3, 2013Updated 12 years ago
- a small C++ lattice library☆15Jan 9, 2020Updated 6 years ago