Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with linear-types
A curated list of projects in awesome lists tagged with linear-types .
https://github.com/austral/austral
Systems language with linear types and capability-based security.
capabilities compiler linear-types
Last synced: 30 Sep 2024
https://github.com/onflow/flow-nft
The non-fungible token standard on the Flow blockchain
blockchain linear-types nft onflow smart-contracts
Last synced: 03 Aug 2024
https://github.com/bodigrim/linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
buffer builder bytestring concatenation haskell linear-types strict-types string-buffer string-builder string-manipulation stringbuffer stringbuilder text unicode
Last synced: 29 Sep 2024
https://github.com/manatki/volga
Comprehensions for Arrows and Monoidal categories
arrows comprehension linear-types macros scala symmetric-monoidal-categories
Last synced: 09 Aug 2024