juvix is a programming language created in 2017 by Christopher Goes.

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.

• juvix website
• juvix is developed on GitHub and has 301 stars
• juvix first developed in https://github.com/anoma/
• juvix.org was registered in 2017