Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
Missing line in a smart contract leads to $10M hack
3 projects | news.ycombinator.com | 16 May 2021
Why would someone build on Tezos rather than Solana?
2 projects | reddit.com/r/tezos | 19 Apr 2021
Does Haskell allow pure functions to use *encapsulated* impurity
1 project | reddit.com/r/haskell | 11 Aug 2021
ELI5 This “superior tech” Tezos has
5 projects | reddit.com/r/tezos | 29 Mar 2021
Monthly Hask Anything (March 2021)
2 projects | reddit.com/r/haskell | 11 Mar 2021