juvix is a programming language created in 2017 by Christopher Goes.
git clone https://github.com/cryptiumlabs/juvix| #1791on PLDB | 7Years Old |
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.