liquid-shplait
Extension of Shplait with Liquid Types
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Visit website ↗ Source listing ↗
GITHUB · launched Oct 11, 2026 · 11 upvotes (top 90%)
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Similar launches
See all 2236 similar launches →Could you build this?
No Implementing Liquid Types (refinement types checked by SMT solvers) into an existing programming language requires graduate-level type theory and SMT encoding expertise.
What it would actually take: The project requires an existing language base (Shplait) integrated with an abstract syntax tree parser, bidirectional type checker, predicate abstraction algorithms, and an SMT solver bridge (like Z3). The hard part is encoding refinement predicates into First-Order Logic, implementing subtyping via SMT queries, and ensuring decidability through Liquid type inference algorithms.
Competitors
Other products that read as similar to this one : 2236 launches clear the similarity bar, closest 8 shown.
Attention rank: #2036 of 2237 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 347 days after the earliest competitor.
- threejs-particle-fluids · github · 2026-09-25 · 175 upvotes · similarity 0.59
- RadioPal · hn · 2026-06-11 · 6 upvotes · similarity 0.59
- liquid-glass-design · github · 2026-10-12 · 21 upvotes · similarity 0.55
- Meon · hn · 2026-07-05 · 6 upvotes · similarity 0.54
- JevLint · github · 2026-09-17 · 11 upvotes · similarity 0.53
- iglass · github · 2026-10-13 · 71 upvotes · similarity 0.52
- Jev-lint · hn · 2026-09-19 · 5 upvotes · similarity 0.52
- LiquidTab · github · 2026-10-02 · 14 upvotes · similarity 0.51
Other launches for this product
- No other launches for this product.
More details
- External ID
- 1414764720
- Company
- n/a
- Product
- liquid-shplait
- Website domain
- github.com
- Cohort
- n/a
- Upvotes percentile
- 0.10
- All tags
- n/a
- AI summary
- liquid type extension for shplait
- Manually corrected
- No