linear-types

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 | news.ycombinator.com | 2021-11-08

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

    [1]https://github.com/onflow/flow-nft/issues/9

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

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

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

  • GitHub repo austral

    Systems language with linear types

    Project mention: Common Lisp | news.ycombinator.com | 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.

    [0]: https://github.com/austral/austral

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

Index

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

Project Stars
1 flow-nft 302
2 juvix 267
3 linear-base 242
4 austral 109
Find remote jobs at our new job board 99remotejobs.com. There are 33 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
www.saashub.com