Extra minimal TypeScript implementation of Hindley-Milner type inference
☆34Feb 28, 2026Updated last week
Alternatives and similar repositories for hindley-milner-typescript-minimal
Users that are interested in hindley-milner-typescript-minimal are comparing it to the libraries listed below
Sorting:
- 🎓 Web app to help teach HM type inference☆22Feb 25, 2026Updated last week
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- GPU-based interaction nets evaluator☆17Nov 30, 2011Updated 14 years ago
- Repository for the "Building a Typechecker from scratch" class☆15Oct 12, 2023Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated last week
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Apr 22, 2022Updated 3 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Handle ECMAscript modules in MDX files for MDX Editor.☆11May 17, 2024Updated last year
- ☆30Oct 16, 2022Updated 3 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- A VSCode plugin to support the Pharo Programming Language☆34Updated this week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- ☆22Feb 3, 2026Updated last month
- Velocity-Vortex—a fast and efficient algorithmic trading engine for the financial markets! This project is built using C++, showcasing a…☆14Feb 15, 2026Updated 3 weeks ago
- Practical Program Repair via Bytecode Mutation☆65Jun 20, 2022Updated 3 years ago
- Type Inference Library written in TypeScript☆93May 7, 2023Updated 2 years ago
- Alternative algorithm for algebraic subtyping.☆176Feb 14, 2026Updated 3 weeks ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 10 months ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 3 weeks ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- ☆14Oct 8, 2025Updated 5 months ago
- Cldr-based fork of the most excellent "trans" library☆10Aug 11, 2024Updated last year
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- ☆12Jan 6, 2023Updated 3 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- common lisp text processing tool☆13Updated this week
- A third-party CLI utility for the Bevy game engine.☆10Nov 11, 2024Updated last year
- vim-bootstrap plugin to upgrade☆14Nov 7, 2021Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago