type-inference-zoo

🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

functional-programming haskell

View on GitHub Website

154 Stars

2 Forks

154 Watchers

Haskell Language

mit License

100 SrcLog Score

Cost to Build

$9.3K

Market Value

$21.8K

How is this calculated?

Growth over time

6 data points · 2026-04-09 → 2026-04-25

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about type-inference-zoo

Question copied to clipboard

What is the cu1ch3n/type-inference-zoo GitHub project? Description: "🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.". Written in Haskell. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone type-inference-zoo

Clone via HTTPS

git clone https://github.com/cu1ch3n/type-inference-zoo.git

Clone via SSH

[email protected]:cu1ch3n/type-inference-zoo.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the type-inference-zoo issue tracker:

Open GitHub Issues

Similar to type-inference-zoo

mostly-adequate-guide functional-programming-jargon Functional-Light-JS cyclejs ios-oss android-oss lila scalaz Learning-SICP plt Swiftz milewski-ctfp-pdf vavr shapeless Carp write-you-a-haskell eta nix funcy arrow coconut bash-oo-framework scala-exercises kefir riko PyFunctional Lightweight-Stream-API wiwinwlh cube-composer z