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.
Developer preview Stygarctus release of Juvix.
Stygarctus adds support for very basic datatypes & pattern matching, includes a starter LLVM backend, and fixes many compiler bugs.
This is pre-alpha software released for experimentation & research purposes only.
Developer preview Florarctus release of Juvix
This is pre-alpha software released for experimentation & research purposes only.
Developer preview Dactylobiotus release of Juvix.
This is pre-alpha software released for experimentation & research purposes only.
Internal Ramazzottius release of Juvix.
This is pre-alpha software released for experimentation & research purposes only.
Internal Pseudobiotus release of Juvix.
This is pre-alpha software released for experimentation & research purposes only.
Internal Isohypsibius release of Juvix.
This is pre-alpha software released for experimentation & research purposes only.
Internal Styraconyx release of Juvix.
This is pre-alpha software released for experimentation & research purposes only.