Haskell juvix

Open-source Haskell projects categorized as juvix | Edit details

Haskell juvix Projects

  • GitHub repo 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.

    Project mention: Missing line in a smart contract leads to $10M hack | news.ycombinator.com | 2021-05-16

    I dont know how hard it would be to port it to other platforms. Different Virtual machine.

    Tezos uses a human readable stack based language as a low level represenation that is suited for formal proofs: https://tezos.gitlab.io/008/michelson.html

    If archetype depends on that then its going to be hard to port but i dont think it does.

    Another interesting project in development is https://juvix.org/ which targets more backends beside michelson like llvm and wasm. Might run on eth2/Ewasm.

    There are also blockchain specific features like: https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc7...

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-05-16.

Haskell juvix related posts

Index

Project Stars
1 juvix 276
Find remote jobs at our new job board 99remotejobs.com. There are 28 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms