Systems language with linear types and capability-based security.
The non-fungible token standard on the Flow blockchain
Standard library for linear types in Haskell.
Juvix empowers developers to write code in a high-level, functional lang...
Declarative concurrency and stream processing library for Scala
The Fungible Token standard on the Flow Blockchain
Strict Text and ByteString builder, which hides mutable buffer behind li...
Comprehensions for Arrows and Monoidal categories
Pretty-print error messages of the ATS Compiler