genpark-type-checker-hindley-milner-skill
Hindley-Milner polymorphic type inference engine with Algorithm W unification and occurs check.
Details
- External ID
- 1391819718
- Source
- GITHUB
- Company
- —
- Product
- genpark-type-checker-hindley-milner-skill
- Website domain
- github.com
- Launched
- Sept. 28, 2026
- Cohort
- —
- Upvotes
- 7
- Upvotes percentile
- 0.05976172175249808
- Tags
- agent-skills, algorithm-w, compiler-design, hindley-milner, mcp-server, model-context-protocol, polymorphism, python, type-checking, type-inference, type-system
- Fetched at
- Sept. 30, 2026, 1:02 a.m.
- Updated at
- Sept. 30, 2026, 1:02 a.m.
Enrichment
- Theme
- decision model runtimes and tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- hindley-milner type inference engine for programming languages
- Manually corrected
- False
Could you build this?
Yes Hindley-Milner type inference and Algorithm W are well-documented textbook computer science algorithms that modern LLMs can implement accurately in a standalone script or skill.
Competitors
Other products that read as similar to this one — 1004 launches clear the similarity bar, closest 8 shown.
Attention rank: #796 of 1005 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 330 days after the earliest competitor.
- genpark-robinson-first-order-unification-skill · github · 2026-09-10 · 7 upvotes · similarity 0.63
- awesome-jev-typesafe · github · 2026-09-18 · 129 upvotes · similarity 0.62
- hermes-nerve · github · 2026-09-18 · 13 upvotes · similarity 0.60
- genpark-first-order-logic-resolution-refutation-skill · github · 2026-09-28 · 7 upvotes · similarity 0.59
- laya.cpp · github · 2026-09-20 · 87 upvotes · similarity 0.58
- genpark-hoare-logic-axiomatic-verifier-skill · github · 2026-09-28 · 7 upvotes · similarity 0.58
- TandemLLM · github · 2026-09-28 · 9 upvotes · similarity 0.57
- sarvam-jev · github · 2026-09-18 · 50 upvotes · similarity 0.56
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.