š Web app to help teach HM type inference
ā23Jul 25, 2026Updated last week
Alternatives and similar repositories for ottie
Users that are interested in ottie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extra minimal TypeScript implementation of Hindley-Milner type inferenceā38Updated this week
- Imagine a Dependently Typed Pythonā10Apr 4, 2025Updated last year
- Full Source Code for Making a Language seriesā110Apr 3, 2026Updated 4 months ago
- ā15Jun 12, 2026Updated last month
- Repository for the "Building a Typechecker from scratch" classā15Oct 12, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer ā¢ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust implementation of an SH1107 driver targetting Rust's embedded-hal and embassy-rsā12Mar 16, 2025Updated last year
- A JSON object master file, hard-coded from the game itself, for use in web applications that can handle JSON data.ā13Aug 9, 2018Updated 7 years ago
- A Really Cool Calculator written in Haskell... or is it?ā46Aug 26, 2021Updated 4 years ago
- ā16Jun 2, 2026Updated 2 months ago
- a Compileable statically typed Functional programming Languageā11Jun 11, 2015Updated 11 years ago
- ā18May 21, 2019Updated 7 years ago
- Solving Leetcode problems in Typstā39Jan 13, 2026Updated 6 months ago
- Signed distance functions + Rust (CPU & GPU) = ā¤ļøā¤ļøā16Aug 12, 2025Updated 11 months ago
- A command-line application written in Rust, designed to provide quick, trie-based autocomplete suggestions.ā18Nov 5, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient ā¢ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OCaml bindings to quickjsā23Updated this week
- BIOS for the Neotron Picoā20Dec 30, 2024Updated last year
- Dis interpreter by Rob Pikeā13Sep 3, 2020Updated 5 years ago
- Elmer compilerā12Oct 17, 2016Updated 9 years ago
- Scheme interpreter in Cā16Updated this week
- a simple presentation toolā13Jun 3, 2024Updated 2 years ago
- A plugin for pdm that enables virtualenv managementā26Jul 4, 2022Updated 4 years ago
- A Typst package for easy-to-use but powerful and smart margin notes.ā23Apr 2, 2025Updated last year
- The original parsing with derivatives haskell implementationā12Aug 25, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer ā¢ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Elm eureka is a rust library for parsing elm projects and elm code.ā10May 6, 2018Updated 8 years ago
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.ā10Jul 11, 2025Updated last year
- Hindley Milner Type Inference in Rustā12Oct 4, 2017Updated 8 years ago
- Composable image processing library for OCamlā42Sep 30, 2025Updated 10 months ago
- Mdbook preprocessor to highlight Typst code (temporary solution until a good highlight.js syntax appears)ā17Feb 6, 2026Updated 5 months ago
- A tiny lazy objective functional languageā20Sep 12, 2024Updated last year
- A strongly-typed handy scripting language with type inferenceā14Aug 31, 2018Updated 7 years ago
- Dew is a little programming language which targets the Lua virtual machineā27Jul 14, 2025Updated last year
- A Python implementation of the Refinement Types Tutorial.ā10Feb 4, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer ā¢ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Space Cadet Keyboard Schematic and PCBā14Jan 31, 2023Updated 3 years ago
- Hindley-Milner Type Inferenceā12Dec 29, 2019Updated 6 years ago
- A fast, simple parser for terribly broken JSONā15Jan 30, 2019Updated 7 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured dā¦ā80Apr 11, 2023Updated 3 years ago
- A PBT frameworkā10Jul 19, 2025Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.ā54Mar 12, 2021Updated 5 years ago
- Extension to `thiserror` that helps reduce the amount of handwritingā13Apr 6, 2023Updated 3 years ago