linear-types topic
flow-nft
The non-fungible token standard on the Flow blockchain
libretto
Declarative concurrency and stream processing library for Scala
linear-base
Standard library for linear types in Haskell.
austral
Systems language with linear types and capability-based security.
flow-ft
The Fungible Token standard on the Flow Blockchain
volga
Comprehensions for Arrows and Monoidal categories
linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
linear-scala
Linear types in Scala
NumLin
NumLin: Linear Types for Linear Algebra
ats-acc
Pretty-print error messages of the ATS Compiler