Hindley-Milner Type Inference implemented in (although not for) Python.
☆96Mar 7, 2022Updated 3 years ago
Alternatives and similar repositories for hindley-milner-python
Users that are interested in hindley-milner-python are comparing it to the libraries listed below
Sorting:
- A C++11 implementation of Hindley-Milner type inference.☆80Dec 11, 2012Updated 13 years ago
- A Python JIT compiler☆12May 29, 2019Updated 6 years ago
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 5 months ago
- The Hindley Milner Type Inference Algorithm☆376Dec 11, 2016Updated 9 years ago
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Hindley-Milner type inference using constraints☆50Jan 2, 2017Updated 9 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Feb 21, 2023Updated 3 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- A massaging of DJB's various client libraries into something that's easy to build and use☆14Aug 20, 2008Updated 17 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
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- Elmer compiler☆12Oct 17, 2016Updated 9 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 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
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 11 years ago
- Discrete wavelet transform☆12Mar 4, 2017Updated 8 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 3 months ago
- Hindley Milner Type Inference in Rust☆12Oct 4, 2017Updated 8 years ago
- Cythonic wrapper around nanosvg for rasterizing SVGs☆10Jan 17, 2020Updated 6 years ago
- Ikko language☆26Oct 4, 2020Updated 5 years ago
- Python2 compiler package ported to Python3. Compiles Python AST (as produced by the "ast" module) to bytecode assembly and code objects.☆42Jan 6, 2021Updated 5 years ago
- Generate ELF Linux 64-bit (x86-64) executable manually☆46Jun 21, 2019Updated 6 years ago
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32May 11, 2019Updated 6 years ago
- A (very) simple graph library.☆12Apr 6, 2015Updated 10 years ago
- Hindley–Milner type inference implemented in Python.☆12Jun 7, 2023Updated 2 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆83Jan 25, 2022Updated 4 years ago
- A PEG that compiles itself.☆76Sep 25, 2010Updated 15 years ago
- Match compilation algorithm in OCaml☆34Feb 24, 2025Updated last year
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- Debugger in the Trepan family for x-python☆17Oct 14, 2025Updated 4 months ago
- ☆12Jul 3, 2019Updated 6 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 3 years ago
- An OCaml bytecode to LLVM compiler☆43Mar 2, 2018Updated 7 years ago
- Classic Algorithm W for type inference.☆256Mar 29, 2010Updated 15 years ago