domdomegg / ottieView external linksLinks
🎓 Web app to help teach HM type inference
☆22Nov 15, 2025Updated 3 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☆34Dec 10, 2025Updated 2 months ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated 10 months ago
- Handle ECMAscript modules in MDX files for MDX Editor.☆11May 17, 2024Updated last year
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Statically checked Data Science programs.☆18Feb 6, 2026Updated last week
- A complete collection of my undergraduate notes☆34Jun 13, 2022Updated 3 years ago
- A tool for evaluating TypeScript types step by step.☆46Dec 2, 2023Updated 2 years ago
- kdb Visual Studio Code extension☆22Updated this week
- Python wrapper for the Soil-Leaf-Canopy (SLC) radiative transfer model☆12Nov 6, 2019Updated 6 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆13Jan 22, 2026Updated 3 weeks ago
- Web implementation of the AutoAquaponics graphical interface and system control☆10Feb 6, 2026Updated last week
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Updated this week
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- ☆11May 12, 2025Updated 9 months ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 8 months ago
- ☆11Nov 12, 2017Updated 8 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- A program to translate OWL 2 Ontologies to LPG graphs☆13Nov 16, 2022Updated 3 years ago
- ☆22Feb 8, 2026Updated last week
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆25Updated this week
- A gui wrapper around sshfs☆10Sep 16, 2020Updated 5 years ago
- Jest utilities for RDF(JS)☆11Feb 2, 2026Updated last week
- OCL TermBrowser v2☆13Feb 6, 2026Updated last week
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Feb 2, 2026Updated last week
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 3 months ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 8 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- PM2 Python Library for Process Management☆11Nov 27, 2025Updated 2 months ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- ☆11Aug 26, 2024Updated last year
- ☆11Jun 25, 2025Updated 7 months ago
- The API extractor for npm packages powering jsDocs.io☆15Feb 3, 2026Updated last week
- A (very early stages) mildly opinionated micro-engine for building 2D fighting games with bevy☆12Apr 2, 2022Updated 3 years ago
- Repository for options to describe a model unit in a declarative way. Imperative representation will be specific for each modelling fram…☆11Oct 4, 2024Updated last year
- JsonML-related tools for losslessly converting between XML/HTML and JSON, including mixed-mode XML. http://jsonml.org☆12Nov 6, 2019Updated 6 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- A simple currency converter based on https://fixer.io.☆11May 25, 2018Updated 7 years ago