A online playground to explore with type Inference algorithms.
โ18Jan 28, 2026Updated 5 months ago
Alternatives and similar repositories for typ-how
Users that are interested in typ-how are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐ฆ Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/โ22Sep 20, 2025Updated 10 months ago
- Semantic Type Soundness in Lean 4โ18Jul 3, 2026Updated 2 weeks ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.โ11Apr 3, 2026Updated 3 months ago
- Mechanized baselines for various type system featuresโ19Apr 14, 2026Updated 3 months ago
- A OCaml generator for well-typed terms (that use their arguments).โ13Feb 22, 2025Updated last year
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A toy nanopass compiler for x86 written in leanโ15Oct 25, 2025Updated 8 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)โ18Apr 25, 2016Updated 10 years ago
- โ20Dec 19, 2025Updated 7 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Editionโ10Jan 4, 2023Updated 3 years ago
- MCP server for the Rocq proverโ39Jul 7, 2026Updated 2 weeks ago
- Neon lights in the night tonight and stars that shine in the open skyโ47Dec 17, 2023Updated 2 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions atโฆโ25Jun 21, 2026Updated 3 weeks ago
- ๐ฆ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendโฆโ156Jun 22, 2025Updated last year
- Denotational semantics based on graph and filter modelsโ23Dec 16, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform โข AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- โ16Feb 19, 2026Updated 5 months ago
- โ17Apr 4, 2024Updated 2 years ago
- ๐ A collection of resources about normalization-by-evaluationโ30Jul 29, 2025Updated 11 months ago
- Advanced Linter for Gnoโ14Jul 13, 2026Updated last week
- Class of data structures that can be unfolded.โ22Jan 6, 2026Updated 6 months ago
- Hexyzland is a minimalistic coding playground https://ptol.github.io/hexyzland/โ13Jul 4, 2022Updated 4 years ago
- โ16Jun 26, 2019Updated 7 years ago
- coinduction library for Coqโ26May 6, 2026Updated 2 months ago
- Dependently typed programming language written in Haskellโ22Feb 14, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean โข AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An intermediate verification languageโ27Jan 4, 2026Updated 6 months ago
- SJTU-EI332 ่ฎก็ฎๆบ็ปๆๅฎ้ช pipelined cpuโ12Jun 11, 2020Updated 6 years ago
- A simple scala-like dependent type programming languageโ23Apr 18, 2025Updated last year
- A first-order concurrent automated theorem proverโ25Mar 25, 2026Updated 3 months ago
- Models of dependent type theoryโ22Jul 3, 2026Updated 2 weeks ago
- โ16Sep 25, 2023Updated 2 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic mathsโ20Apr 11, 2022Updated 4 years ago
- Rocqet proof languageโ30Aug 11, 2025Updated 11 months ago
- โ75Jun 12, 2026Updated last month
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Simply-typed lambda calculus as a QIT in cubical Agda + normalizationโ16Jan 23, 2024Updated 2 years ago
- A style guide for Coqโ18Nov 30, 2021Updated 4 years ago
- Intrinsic Verification of Formal Grammar Theoryโ28May 20, 2026Updated 2 months ago
- The Next Generation of Compositional Programmingโ56Apr 17, 2026Updated 3 months ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of unโฆโ20Dec 8, 2021Updated 4 years ago
- โ๏ธ All Configurations for My Laptopโ23Updated this week
- Logical Relation for MLTT in Coqโ33Apr 7, 2026Updated 3 months ago