domdomegg / ottieLinks
π Web app to help teach HM type inference
β19Updated this week
Alternatives and similar repositories for ottie
Users that are interested in ottie are comparing it to the libraries listed below
Sorting:
- Extra minimal TypeScript implementation of Hindley-Milner type inferenceβ33Updated 2 months ago
- A simple ML-like programming language with subtyping and full type inference.β180Updated 10 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ74Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ61Updated last week
- Playing with type systemsβ51Updated 9 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β69Updated last year
- A WIP little dependently-typed systems languageβ41Updated last year
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ32Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to haβ¦β209Updated 2 weeks ago
- A pure type system implemented in OCamlβ77Updated 4 years ago
- A series of down-to-earth articles on implementing type inferenceβ159Updated 5 years ago
- Pure functional programming with whole-program mutability inferenceβ77Updated 2 months ago
- Staged compilation with dependent typesβ183Updated 5 months ago
- Alternative algorithm for algebraic subtyping.β170Updated 3 weeks ago
- Tina, a programming language with typed algebraic effects and handlers.β13Updated 4 years ago
- A garden of small programming language implementations πͺ΄β290Updated 2 weeks ago
- Dependent type checker using normalisation by evaluationβ268Updated last year
- A statically-typed programming language based on "F-ing modules"β81Updated 5 years ago
- A functional programming language with shell scripting capabilitiesβ122Updated 3 months ago
- A Language with Dependent Data and Codata Typesβ123Updated last week
- A toy dependent typed language.β32Updated this week
- FΟΞΌ type checker and compilerβ54Updated 2 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.β143Updated 6 years ago
- A dependent type theory with user defined data typesβ47Updated 4 years ago
- A general purpose statically-typed concatenative programming language.β54Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ81Updated last week
- A MinCaml compiler implemented in Rustβ44Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.β61Updated last year
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data typesβ90Updated 2 years ago
- Demo for dependent types + runtime code generationβ72Updated 8 months ago