🎓 Web app to help teach HM type inference
☆22Feb 25, 2026Updated last 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☆34Feb 28, 2026Updated last week
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated 11 months ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Handle ECMAscript modules in MDX files for MDX Editor.☆11May 17, 2024Updated last year
- 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☆22Feb 20, 2026Updated 2 weeks ago
- ☆11Nov 12, 2017Updated 8 years ago
- Python wrapper for the Soil-Leaf-Canopy (SLC) radiative transfer model☆12Nov 6, 2019Updated 6 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- NU AutoAquaponics system code☆13Nov 2, 2025Updated 4 months ago
- Model Driven Engineering for C++ (MDE4CPP)☆13Feb 18, 2026Updated 2 weeks ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 3 weeks ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- ☆11May 12, 2025Updated 9 months ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Feb 25, 2026Updated last week
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 2 years ago
- 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 PBT framework☆10Jul 19, 2025Updated 7 months ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 8 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- A node.js client library for the eXist-db Native XML Database.☆15Feb 19, 2019Updated 7 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
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- Dojo modeling is a repository for registering, storing, and running data-science models.☆12Jan 5, 2023Updated 3 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆25Feb 28, 2026Updated last week
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- ☆10Apr 25, 2025Updated 10 months ago
- Repository for options to describe a model unit in a declarative way. Imperative representation will be specific for each modelling fram…☆12Oct 4, 2024Updated last year
- ☆12Jan 1, 2026Updated 2 months ago
- ☆11Jun 25, 2025Updated 8 months ago
- the yargs.js.org website.☆14Apr 11, 2025Updated 10 months ago
- Simple HTTP request library for Zig applications☆13Dec 30, 2024Updated last year
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Brew a graph of your client-side codebase using Madge & Neo4j☆11Feb 24, 2022Updated 4 years ago
- ☆11Aug 26, 2024Updated last year
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- the best functional language ever☆42Jul 30, 2019Updated 6 years ago