GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ juvix
Top 1 juvix open source projects
juvix
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.
✭ 301
haskell
Agda
Nix
common lisp
Roff
Idris
linear-types
juvix
1-1
of
1
juvix projects