jaredhoberock / hindley_milnerView external linksLinks
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 3 years ago
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- ☆15Feb 7, 2025Updated last year
- C++Now 2016 talk - Pulling Visitors: Boost.Graph + Boost.Coroutine☆10May 13, 2016Updated 9 years ago
- This tool generate minimal reflection info about classes and enums based on clang 3.2☆24Jun 28, 2015Updated 10 years ago
- 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
- Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/☆10Jul 23, 2020Updated 5 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
- Filetree code for the Mist project (mist-project.org)☆31Apr 29, 2016Updated 9 years ago
- Hindley Milner Type Inference in Rust☆12Oct 4, 2017Updated 8 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
- Lambda Calculus compiler targeting x86, written in Racket☆11Jun 14, 2020Updated 5 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Dec 11, 2025Updated 2 months ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- The Hindley Milner Type Inference Algorithm☆376Dec 11, 2016Updated 9 years ago
- A toy ML-like programming language☆16Sep 2, 2012Updated 13 years ago
- A simple Disk-based Key-Value Store☆15Dec 7, 2018Updated 7 years ago
- A cross-platform game library in the public domain☆15Aug 12, 2019Updated 6 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 7 years ago
- little test driven handle library in c☆12Mar 1, 2021Updated 4 years ago
- Open-source library for MODBUS TCP and UDP☆18Jul 9, 2014Updated 11 years ago
- An implementation of the Arc programming language☆28Feb 8, 2026Updated last week
- A Hindley-Milner polymorphic typing system☆60Dec 18, 2023Updated 2 years ago
- Javascript AST to CFG converter☆21Jun 12, 2016Updated 9 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A very boring programming language☆12Aug 19, 2025Updated 5 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- In early development☆15Jul 20, 2020Updated 5 years ago
- Compiler and tools for the L programming language☆72Apr 29, 2024Updated last year
- pure-python C types packer/unpacker☆19Mar 1, 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
- C++11 Parsing Expression Grammar Generator☆24Jun 30, 2020Updated 5 years ago
- a small C++ lattice library☆15Jan 9, 2020Updated 6 years ago
- use cling scripting with C++ and cmake☆34Aug 24, 2019Updated 6 years ago
- An imperative and functional programming language☆161May 21, 2025Updated 8 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 9 years ago