Top 6 linear-type Open-Source Projects

austral

18 1,032 9.1 OCaml

Systems language with linear types and capability-based security.

Project mention: Where Are the Supply Chain Safe Programming Languages? | news.ycombinator.com | 2024-04-01

flow-nft

8 464 6.6 Cadence

The non-fungible token standard on the Flow blockchain

Project mention: Build a Digital Collectibles Portal Using Flow and Cadence (Part 1) | dev.to | 2023-09-18

Now, open the link named NonFungibleToken which contains the NFT standard. Copy all the content from that file and paste it into the new file you just created ("NonFungibleToken.cdc"). That's it! You've successfully set up the standards for your project.

InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
linear-base

10 333 5.9 Haskell

Standard library for linear types in Haskell.
libretto

2 190 9.4 Scala

Declarative concurrency and stream processing library for Scala

Project mention: Synit – A Reactive Operating System | news.ycombinator.com | 2023-07-15

I'm not sure this is actually easy to solve. The basic idea here seems to be that actors coordinate with the help of shared mutable state (the "dataspace"). At this point you're actually back to square one as synchronizing shared state is the core problem with distributed, concurrent systems…
Given that, and the fact that this whole thingy is untyped makes me skeptical. Not even the std. ingredients like type-state, session types, behavioral types, or the like seem to get used. I also don't see linear types here, which go very well with session types / behavioral types, and can help making typing message passing easier.
Also that this approach would be completely network transparent, as I see it, seems like a design flaw. One needs control over the various effects that can occur! Otherwise the points form "distributed systems future work" can't be solved, imho.
And form the practical point of view: There is no Akka / Pekko based Scala implementation? I'm quite surprised, to be honest.
Akka / Pekko is the actor runtime, and Scala is famous for it's eDSL features; besides of course its type-system, which makes thing like Libretto possible, which seems related here:
https://github.com/TomasMikula/libretto
Syndicate-lang looks OTOH more like the usual callback-hell.
But like I've said, I don't get this whole thingy really. I've just clicked through some parts of the web-sites. Most likely I'm just overlooking the elephant in the room. So would be glad to learn more!
(BTW: Very nice web-site design on all the projects. Especially nice typography. Really enjoyed this part while clicking through this stuff.)

flow-ft

1 140 6.3 Cadence

The Fungible Token standard on the Flow Blockchain
linear-builder

5 87 7.7 Haskell

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

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