domdomegg / ottieLinks
π Web app to help teach HM type inference
β22Updated 2 months ago
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β34Updated last month
- A simple ML-like programming language with subtyping and full type inference.β187Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ66Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ77Updated 4 years ago
- A functional programming language with shell scripting capabilitiesβ131Updated last month
- Playing with type systemsβ51Updated last year
- A garden of small programming language implementations πͺ΄β307Updated this week
- A language with dependent data and codata typesβ125Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to haβ¦β213Updated this week
- A fancy diagnostics library that allows your compilers to exit with graceβ88Updated last month
- A WIP little dependently-typed systems languageβ41Updated last year
- A pure type system implemented in OCamlβ78Updated 5 years ago
- Full Source Code for Making a Language seriesβ73Updated this week
- Pure functional programming with whole-program mutability inferenceβ79Updated last month
- FΟΞΌ type checker and compilerβ56Updated 2 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β76Updated last year
- Tina, a programming language with typed algebraic effects and handlers.β13Updated 4 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)β123Updated last year
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ32Updated 4 years ago
- Staged compilation with dependent typesβ187Updated 8 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ81Updated this week
- Alternative algorithm for algebraic subtyping.β172Updated 2 months ago
- A toy dependent typed language.β36Updated this week
- π¦ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendβ¦β153Updated 7 months ago
- Software Transactional Memory for OCamlβ134Updated 7 months ago
- Fir programming languageβ91Updated this week
- Prototype for https://github.com/Innf107/vegaβ19Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"β48Updated last year
- Interoperable effects based concurrencyβ142Updated this week
- A statically-typed programming language based on "F-ing modules"β81Updated 5 years ago