Top 1,000 Features Creators Events Podcasts Extensions Interviews Blog Explorer CSV

juvix

< >

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

#1120on PLDB 7Years Old
Download source code:
git clone https://github.com/cryptiumlabs/juvix
HomepageSource Code

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.


View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll