Ordo: A minimalist language with row polymorphism
☆86Feb 3, 2026Updated last month
Alternatives and similar repositories for ordo
Users that are interested in ordo are comparing it to the libraries listed below
Sorting:
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A MinCaml compiler implemented in Rust☆45Updated this week
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Nov 29, 2016Updated 9 years 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
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Nov 17, 2025Updated 3 months ago
- A compiler for the gradually typed lambda calculus☆76Nov 4, 2021Updated 4 years ago
- A toy language based on LLVM that implements the System Fω type-system☆114Aug 14, 2023Updated 2 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆214Feb 28, 2026Updated last week
- Staged compilation with dependent types☆187Feb 1, 2026Updated last month
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- es4 clone☆27Feb 27, 2014Updated 12 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Apr 6, 2019Updated 6 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 4 years ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆91Dec 10, 2018Updated 7 years ago
- Fir programming language☆93Updated this week
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- A simple ML-like programming language with subtyping and full type inference.☆188Dec 1, 2024Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆49Dec 16, 2024Updated last year
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 12 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Hindley-Milner type inference using constraints☆50Jan 2, 2017Updated 9 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago