Haskell linear-types

Open-source Haskell projects categorized as linear-types | Edit details

Haskell linear-type 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...

  • GitHub repo linear-base

    Standard library for linear types in Haskell.

    Project mention: Does Haskell allow pure functions to use *encapsulated* impurity | reddit.com/r/haskell | 2021-08-11

    See here for a linear quicksort implementation.

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

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-08-11.


Project Stars
1 juvix 264
2 linear-base 236
Find remote jobs at our new job board 99remotejobs.com. There are 34 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives