Ordo: A minimalist language with row polymorphism
☆86Feb 3, 2026Updated 9 months ago
Alternatives and similar repositories for ordo
Users that are interested in ordo 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 pretty printer for Erlang's External Term Format☆27Sep 4, 2024Updated 2 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆78Nov 4, 2021Updated 5 years ago
- A simple expressions language with polymorphic extensible row types.☆308Apr 21, 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.
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Mar 9, 2023Updated 3 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆52Dec 16, 2024Updated last year
- A MinCaml compiler implemented in Rust☆45Mar 3, 2026Updated 8 months ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- ETC☆15Aug 27, 2021Updated 5 years ago
- Macros have types!☆133Feb 25, 2026Updated 8 months ago
- A toy language based on LLVM that implements the System Fω type-system☆114Aug 14, 2023Updated 3 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆236Updated this week
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 6 years ago
- Erlang source code parser written in Rust☆11Aug 26, 2026Updated 2 months ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 7 years ago
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated 3 months ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 13 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆71Nov 17, 2025Updated 11 months 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.
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- BEAM guts inspector☆11Nov 19, 2014Updated 11 years ago
- Hindley-Milner type inference using constraints☆50Mar 22, 2026Updated 7 months ago
- 🩺 A library for compiler diagnostics☆56Oct 19, 2026Updated 2 weeks ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Updated this week
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A meta tracing JIT for x86 and interpreters written in C/C++☆37Nov 29, 2016Updated 9 years ago
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Fir programming language☆100May 11, 2026Updated 5 months ago
- A clean implementation of Parsing with Zippers.☆39Sep 22, 2018Updated 8 years ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- A systems programming language with lexical effect handlers☆20Updated this week