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.
Updated 2024-07-04 11:00:22 +03:00
Web app deployment manager
Updated 2024-07-03 03:32:02 +03:00
Deploy tool for Haskell applications, like Capistrano for Rails
Updated 2024-07-02 17:51:25 +03:00