π¦ 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.