Extra minimal TypeScript implementation of Hindley-Milner type inference
☆38Oct 14, 2026Updated 2 weeks ago
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🎓 Web app to help teach HM type inference☆23Updated this week
- Hindley-Milner type system with extensible records and variants, implemented in Go☆22Nov 21, 2020Updated 5 years ago
- Misconception-based tutor designed to help people learn Linear Temporal Logic.☆12Jul 28, 2026Updated 3 months ago
- ☆11May 31, 2025Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Modern utility library and typescript typings for building JSON Schema documents☆14Nov 28, 2025Updated 11 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆26Jul 26, 2022Updated 4 years ago
- F# GRPC Sample☆11Apr 21, 2021Updated 5 years ago
- Rubysierung is the type system Ruby deserves☆12Jul 27, 2015Updated 11 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Automatic issue triaging through mini-websites for guiding users through contributing to open-source projects.☆12Oct 8, 2023Updated 3 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 years ago
- ☆10Aug 2, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- JaTyC: a typestate checker for Java☆21Sep 3, 2025Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43May 1, 2016Updated 10 years ago
- ☆30Oct 16, 2022Updated 4 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- ⚡️ Lightning Time: represent time as hexadecimal & colors☆14Dec 15, 2023Updated 2 years ago
- The Tao of Programming by Geoffrey James☆11Jan 29, 2019Updated 7 years ago
- Rust widget toolkit built on Reclutch☆10Mar 25, 2020Updated 6 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Rust bindings for CIRCT☆19Apr 20, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- MyNote is a Neovim plugin that allows you to take notes in a floating window☆14Updated this week
- GPU-based interaction nets evaluator☆19Nov 30, 2011Updated 14 years ago
- Guide elucidating Lambda Calculus☆16Sep 3, 2021Updated 5 years ago
- Inspired by typelang, a lisp implemented in typescript's type engine☆12Aug 25, 2024Updated 2 years ago
- Template for a (PhD) thesis☆13Nov 5, 2025Updated 11 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- Alternative algorithm for algebraic subtyping.☆178Oct 5, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Helper functions for Parent/Child communication in stateless components☆13Apr 20, 2017Updated 9 years ago
- Parts of Nix ported to Rust☆37Jul 23, 2026Updated 3 months ago
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 10 years ago
- Infers the type and format of JSON values☆34Nov 28, 2025Updated 11 months ago
- ☆16Mar 14, 2024Updated 2 years ago
- Type Inference Library written in TypeScript☆93Jul 10, 2026Updated 3 months ago