A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
☆71Nov 17, 2025Updated 11 months ago
Alternatives and similar repositories for polysubml-demo
Users that are interested in polysubml-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆52Dec 16, 2024Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆191Dec 1, 2024Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆31Jun 18, 2022Updated 4 years ago
- Fir programming language☆100May 11, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 6 years ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 7 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆229Updated this week
- Martin-Löf type theory + W-types implemented in C (WIP)☆28Feb 16, 2026Updated 8 months ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆22Nov 21, 2020Updated 5 years ago
- ☆24Oct 10, 2026Updated last week
- Small core of Roc, for experiments☆26Dec 21, 2024Updated last year
- Example row-polymorphism implementations☆61Oct 3, 2023Updated 3 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.
- A tiny language for teaching and experimenting with Refinement Types☆50Jun 22, 2021Updated 5 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- A garden of small programming language implementations 🪴☆345Oct 9, 2026Updated last week
- Building A Correct-By-Construction Proof Checkers For Type Theories☆36Aug 5, 2026Updated 2 months ago
- Prototype type inference engine☆207Jan 31, 2025Updated last year
- For hosting ATS3 and developing CodeDepot☆19Oct 2, 2026Updated 2 weeks ago
- Alternative algorithm for algebraic subtyping.☆178Oct 5, 2026Updated 2 weeks ago
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Apr 29, 2026Updated 5 months ago
- Ordo: A minimalist language with row polymorphism☆87Feb 3, 2026Updated 8 months 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.
- Compiles lisp style html into normal html☆18Oct 4, 2023Updated 3 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆81Jan 20, 2022Updated 4 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆74Oct 16, 2023Updated 3 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆13May 18, 2017Updated 9 years ago
- Experimental functional language☆17Dec 24, 2025Updated 9 months ago
- 🩺 A library for compiler diagnostics☆56Jun 19, 2026Updated 3 months ago
- Intrinsic Verification of Formal Grammar Theory☆28Aug 4, 2026Updated 2 months ago
- Fωμ type checker and compiler☆58Jan 28, 2023Updated 3 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A toy dependent typed language.☆51Updated this week
- Automagical variable binding library for Rust☆66Oct 4, 2019Updated 7 years ago
- ☆18Jul 24, 2026Updated 2 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- 1ML prototype interpreter☆302Jun 28, 2020Updated 6 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago