Juvix
Github
Docs