Prototype type inference engine
☆207Jan 31, 2025Updated last year
Alternatives and similar repositories for mlsub
Users that are interested in mlsub are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Malfunctional Programming☆357Mar 9, 2026Updated 7 months ago
- Work on modular implicits☆25Oct 23, 2018Updated 8 years ago
- Alternative algorithm for algebraic subtyping.☆178Oct 5, 2026Updated 3 weeks ago
- 1ML prototype interpreter☆303Jun 28, 2020Updated 6 years ago
- SubML (prototype) language☆22Mar 20, 2022Updated 4 years ago
- 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.
- A Datalog implementation with an OCaml inspired module system☆45Oct 13, 2026Updated 2 weeks ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- A simple implementation of linear type theory☆40Apr 21, 2017Updated 9 years ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 10 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆93Dec 10, 2018Updated 7 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- Staged metaprogramming in stock OCaml☆155Mar 24, 2024Updated 2 years ago
- An experimental type checker for a modal dependent type theory.☆123May 9, 2020Updated 6 years ago
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆224Mar 25, 2022Updated 4 years ago
- Higher-kinded programming in OCaml☆195Jan 12, 2026Updated 9 months ago
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year
- OCaml backend for Agda☆40Oct 4, 2018Updated 8 years ago
- Implementations of various type systems in OCaml.☆1,604Aug 31, 2015Updated 11 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆102May 9, 2017Updated 9 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- safe FFI between OCaml and Rust (experimental)☆68Aug 23, 2020Updated 6 years ago
- A simple ML-like programming language with subtyping and full type inference.☆191Dec 1, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- MetaML and MetaOCaml bibliography☆106Aug 29, 2026Updated 2 months ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- Experimental OCaml bindings for Wlc☆16Apr 6, 2015Updated 11 years ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Jan 12, 2015Updated 11 years ago
- Ropes ("heavyweight strings") for OCaml☆48Jul 27, 2024Updated 2 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- System Fω interpreter for use in Advanced Functional Programming course☆74Oct 16, 2023Updated 3 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 5 years ago
- Contextual types meet mechanized metatheory!☆213Sep 30, 2025Updated 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.
- A ppx rewriter that provides pattern matching on abstract types by transforming patterns into views/expressions.☆19Sep 24, 2019Updated 7 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆73May 6, 2025Updated last year
- a ppx_deriving plugin for crowbar generators☆21Jul 1, 2019Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆50Jun 22, 2021Updated 5 years ago
- Invariant Generation as Type Inference with GADTs and Existentials☆18Sep 8, 2026Updated last month
- A planet (feed aggregator) for OCaml.☆27Sep 2, 2026Updated last month
- Nanopass for OCaml☆147Dec 21, 2017Updated 8 years ago