The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.
☆61Oct 27, 2026Updated this week
Alternatives and similar repositories for 1subml
Users that are interested in 1subml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆71Nov 17, 2025Updated 11 months ago
- ☆24Mar 24, 2026Updated 7 months ago
- Fωμ type checker and compiler☆58Jan 28, 2023Updated 3 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 3 months ago
- ☆14Sep 9, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A toy array language inspired by J, K, and APL.☆11Oct 8, 2026Updated 3 weeks ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆229Updated this week
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- JHT rating: 28-765☆13Dec 31, 2018Updated 7 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- linear concat language☆53Updated this week
- Stack language compiled to lua☆26Feb 3, 2025Updated last year
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆12Mar 21, 2023Updated 3 years ago
- 1ML prototype interpreter☆303Jun 28, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆138Aug 7, 2026Updated 2 months ago
- A LISP-like functional programming language suitable for code golf☆13Jan 29, 2018Updated 8 years ago
- A functional language with algebraic effects, multishot continuations, and native codegen☆171Oct 17, 2026Updated last week
- Snóke is a good old Snake game with new ideas☆21Aug 15, 2026Updated 2 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆120Updated this week
- Fir programming language☆100May 11, 2026Updated 5 months ago
- higher-kinded data☆29May 16, 2023Updated 3 years ago
- Open addressing hash map☆19Jul 4, 2026Updated 3 months ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A programming language where the GPU is just another thread☆58Sep 23, 2026Updated last month
- 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
- Alternative algorithm for algebraic subtyping.☆178Oct 5, 2026Updated 3 weeks ago
- An experiment to see what interpretation into (pre)sheaves categories look like☆29Jun 26, 2026Updated 4 months ago
- The Hazy Haskell Compiler☆66Updated this week
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆12Mar 7, 2024Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆156Jun 22, 2025Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆741Jul 21, 2026Updated 3 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- 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.
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated 8 months ago
- Polymorphic guarded λ-calculus☆22Oct 22, 2026Updated last week
- Remake of Railroad Tycoon in OCaml☆25Oct 11, 2026Updated 2 weeks ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 6 months ago
- http://mroman.ch/burlesque☆15Dec 26, 2019Updated 6 years ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated 2 years ago
- ☆24Updated this week