π¦ Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
β21Sep 20, 2025Updated 5 months ago
Alternatives and similar repositories for type-inference-zoo-wasm
Users that are interested in type-inference-zoo-wasm are comparing it to the libraries listed below
Sorting:
- β11Mar 20, 2025Updated 11 months ago
- being an implementation of the calculus of constructionsβ17Mar 9, 2023Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.β11Aug 28, 2024Updated last year
- Rocqet proof languageβ28Aug 11, 2025Updated 6 months ago
- β17Apr 4, 2024Updated last year
- π¦ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendβ¦β154Jun 22, 2025Updated 8 months ago
- β18Jun 9, 2023Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.β22Apr 3, 2024Updated last year
- Monad transformers for combining local and global state with backtracking/backjumping/continuationsβ20Jul 23, 2016Updated 9 years ago
- Interactive holes for Lean 4β22Apr 19, 2024Updated last year
- Distributions of Agda executable compiled into WebAssembly.β25Nov 9, 2025Updated 4 months ago
- β22Feb 13, 2024Updated 2 years ago
- εΈΆδ½ ζ’η΄’ functional programmingβ26Feb 7, 2024Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.β23Feb 27, 2026Updated last week
- Logical Relation for MLTT in Coqβ30Jan 14, 2026Updated last month
- Automatic testing of MoonBit programsβ28Updated this week
- A Typst-friendly static ZettelkΓ€sten site generator.β179Updated this week
- β51Jan 30, 2026Updated last month
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).β10Jun 22, 2025Updated 8 months ago
- Automatically generate a compiler using equality saturationβ34Apr 3, 2024Updated last year
- async programming library for MoonBitβ58Mar 2, 2026Updated last week
- Deprecatedβ40Nov 2, 2025Updated 4 months ago
- Reference compiler for c0β39Dec 11, 2025Updated 2 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023β34Oct 13, 2023Updated 2 years ago
- being a particular fragment of Haskell, extended to a proof systemβ44Mar 2, 2026Updated last week
- β42Aug 11, 2025Updated 6 months ago
- multi platform game engineβ11Sep 1, 2025Updated 6 months ago
- A formalization of M-types in Agdaβ36Mar 7, 2020Updated 6 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.β11Feb 11, 2026Updated 3 weeks ago
- A latex template for writing statement-of-purpose for many schools at the same timeβ46Dec 11, 2023Updated 2 years ago
- Complexity analysis in Leanβ10Feb 5, 2024Updated 2 years ago
- Open, hand-typed notes by HKU students, for HKU students.β18Sep 5, 2025Updated 6 months ago
- antifunextβ40Jun 27, 2024Updated last year
- Typst Package to typeset inference ruleβ58Feb 21, 2026Updated 2 weeks ago
- A garden of small programming language implementations πͺ΄β313Updated this week
- Distributors - Unifying Parsers, Printers & Grammarsβ64Updated this week
- A terminal text editor written in MoonBitβ11Apr 7, 2025Updated 11 months ago
- Implementation of dependent type theory in SWI-Prologβ10Oct 6, 2020Updated 5 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rustβ18Feb 12, 2026Updated 3 weeks ago