https://www.juvix.com.br/
Juvix Store
juvixstore
https://juvix.org/
Juvix - Open-Source Language for Decentralized Applications
Juvix enables decentralized application developers to write formally verifiable and efficiently executable smart contracts.
open sourcejuvixlanguagedecentralizedapplications