juvix is a programming language created in 2017 by Christopher Goes.
git clone https://github.com/cryptiumlabs/juvix
A language for intent-centric and declarative decentralised applications