rust-djinn
Djinnlang implementation for Rust
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 13, 2026 · 20 upvotes (top 58%)
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Similar launches
See all 1766 similar launches →Could you build this?
No Djinn is an algorithm/tool that generates Haskell code from types using intuitionistic propositional logic (Curry-Howard isomorphism); implementing it in Rust requires deep theoretical computer science knowledge in formal proof search, sequent calculus, and lambda calculus.
What it would actually take: Building rust-djinn requires implementing a theorem prover for intuitionistic propositional logic (such as LJT/Roy Dyckhoff's contraction-free sequent calculus) followed by term extraction into lambda terms and AST generation. The stack involves Rust, parser combinators (e.g., winnow or nom), and AST manipulation with proof search engines. The core difficulty lies in proof-search loop termination, backtracking state management, and type-theoretic correctness.
Competitors
Other products that read as similar to this one : 1766 launches clear the similarity bar, closest 8 shown.
Attention rank: #1001 of 1767 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 347 days after the earliest competitor.
- Octopii, a runtime for writing distributed applications in Rust · hn · 2025-12-09 · 17 upvotes · similarity 0.63
- lockjaw · github · 2026-09-29 · 25 upvotes · similarity 0.63
- ddc · github · 2026-09-18 · 261 upvotes · similarity 0.63
- casita · github · 2026-09-27 · 77 upvotes · similarity 0.63
- RustDesk-Suite · github · 2026-09-22 · 81 upvotes · similarity 0.62
- RustClamp · ph · 2026-10-24 · 1 upvotes · similarity 0.61
- Rusdantic · hn · 2026-03-30 · 5 upvotes · similarity 0.61
- VT Code · hn · 2026-05-30 · 16 upvotes · similarity 0.61
Other launches for this product
- No other launches for this product.