Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


juvix - Programming language

< >

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

#1479on PLDB 6Years Old 357Users
0Books 0Papers

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.

optimized-systems-software.html 路 juvix.html 路 lucid-lang.html

View source

- Build the next great programming language Search Day 214 About Blog Acknowledgements Traffic Traffic Today GitHub