Storyyeller / cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
☆164Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for cubiml-demo
- Alternative algorithm for algebraic subtyping.☆149Updated 2 weeks ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- 1ML prototype interpreter☆270Updated 4 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆172Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆334Updated this week
- Staged compilation with dependent types☆163Updated 2 weeks ago
- A garden of small programming language implementations 🪴☆177Updated last week
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆110Updated 5 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- Spartan type theory☆257Updated 5 months ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- A Language with Dependent Data and Codata Types☆58Updated this week
- Frank compiler☆279Updated 6 months ago
- Prototype type inference engine☆197Updated 3 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆116Updated 4 years ago
- A compiler for functional programs on serialized data☆158Updated this week
- A fast functional language based on two level type theory☆388Updated last year
- Contextual types meet mechanized metatheory!☆184Updated 3 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆220Updated 9 months ago
- The Makam Metalanguage☆194Updated last year
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- A bidirectional type checker☆57Updated 7 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆145Updated 8 months ago
- Pure functional programming with whole-program mutability inference☆50Updated this week
- 😎TT☆218Updated last year
- Bootstrapping ATS3☆197Updated this week
- A Hindley-Milner polymorphic typing system☆56Updated 11 months ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago