Pe
Peridot – A functional language based on two-level type theory
Peridot – A functional language based on two-level type theory
Share cardActual performance
151points
40comments
Made the leaderboard
Launch Intel predictions
Analyze your own launch →61%61% predicted probability of success on Hacker News, based on ML models trained on real launch data.
nativeThis product was originally launched on this platform.
51%51% predicted probability of success on BetaList, based on ML models trained on real launch data.
41%41% predicted probability of success on Product Hunt, based on ML models trained on real launch data.
39%39% predicted probability of success on TrustMRR, based on ML models trained on real launch data.
36%36% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.
34%34% predicted probability of success on AppSumo, based on ML models trained on real launch data.
19%19% predicted probability of success on Acquire.com, based on ML models trained on real launch data.
Correct prediction on native model
Similar products
An
An implementation of Spartan type theory49%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
An implementation of Spartan type theory
A
A Type-Level Brainfuck Interpreter58%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
A Type-Level Brainfuck Interpreter
Ca
Causal Analysis based on System Theory (CAST)49%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Causal Analysis based on System Theory (CAST)
Ha
Haskell Theory Exploration78%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Haskell Theory Exploration
Fl
Fluokitten - category theory in idiomatic Clojure54%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Fluokitten - category theory in idiomatic Clojure
5 Spoons25%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Spoon theory energy level tracker
Sh
Shade, a language based on C, Go, and Haskell77%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Shade, a language based on C, Go, and Haskell
a
a conspiracy theory generator50%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
a conspiracy theory generator
The Last Theory46%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
An exploration of what might be the last theory of physics
ty
type-kanren – type-level microKanren in TypeScript45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
type-kanren – type-level microKanren in TypeScript