linear-types topic
List
linear-types repositories
flow-nft
464
Stars
165
Forks
Watchers
The non-fungible token standard on the Flow blockchain
libretto
191
Stars
6
Forks
Watchers
Declarative concurrency and stream processing library for Scala
linear-base
332
Stars
38
Forks
Watchers
Standard library for linear types in Haskell.
austral
1.1k
Stars
37
Forks
Watchers
Systems language with linear types and capability-based security.
flow-ft
140
Stars
56
Forks
Watchers
The Fungible Token standard on the Flow Blockchain
volga
61
Stars
6
Forks
Watchers
Comprehensions for Arrows and Monoidal categories
linear-builder
87
Stars
4
Forks
Watchers
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
NumLin
23
Stars
4
Forks
Watchers
NumLin: Linear Types for Linear Algebra
ats-acc
30
Stars
2
Forks
Watchers
Pretty-print error messages of the ATS Compiler