9 results found Sort:
- Filter by Primary Language:
- Haskell (3)
- Scala (3)
- Cadence (2)
- OCaml (1)
- +
Systems language with linear types and capability-based security.
Created
2018-09-25
8,948 commits to master branch, last one 7 months ago
The non-fungible token standard on the Flow blockchain
Created
2020-04-19
252 commits to master branch, last one 9 days ago
Standard library for linear types in Haskell.
Created
2017-11-23
939 commits to master branch, last one 4 months ago
Declarative concurrency and stream processing library for Scala
Created
2020-04-15
1,637 commits to main branch, last one a day ago
The Fungible Token standard on the Flow Blockchain
Created
2020-04-19
201 commits to master branch, last one 2 days ago
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
Created
2022-02-02
169 commits to master branch, last one 5 months ago
Comprehensions for Arrows and Monoidal categories
Created
2019-04-06
148 commits to master branch, last one 2 months ago
Linear types in Scala
Created
2021-05-16
120 commits to main branch, last one 5 days ago
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Created
2023-05-16
250 commits to master branch, last one 19 hours ago