Open-source projects categorized as linear-types | Edit details
Language filter: + Haskell + Go + OCaml

Top 4 linear-type Open-Source Projects

  • GitHub repo flow-nft

    The non-fungible token standard on the Flow blockchain

    Project mention: NFT misconception: JPEG aren't stored on the Blockchain | | 2021-11-08

    I thought that was still in ideation phase[1].


  • 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 | | 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:

    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 which targets more backends beside michelson like llvm and wasm. Might run on eth2/Ewasm.

    There are also blockchain specific features like:

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • GitHub repo linear-base

    Standard library for linear types in Haskell.

    Project mention: Does Haskell allow pure functions to use *encapsulated* impurity | | 2021-08-11

    See here for a linear quicksort implementation.

  • GitHub repo austral

    Systems language with linear types

    Project mention: Common Lisp | | 2021-10-02

    I like Common Lisp but I no longer use it. I'm pretty much completely burned out on dynamic typing. It feels like building on sand. I want calmer programming, even if it's less powerful. At present I'm building a new language[0] with that goal in mind.


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

linear-types related posts


What are some of the best open-source linear-type projects? This list will help you:

Project Stars
1 flow-nft 327
2 juvix 279
3 linear-base 246
4 austral 150
Find remote jobs at our new job board There are 29 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.