9 results found Sort:

44
1.2k
apache-2.0
29
Systems language with linear types and capability-based security.
Created 2018-09-25
8,948 commits to master branch, last one 8 months ago
170
462
unlicense
54
The non-fungible token standard on the Flow blockchain
Created 2020-04-19
263 commits to master branch, last one 7 days ago
Standard library for linear types in Haskell.
Created 2017-11-23
939 commits to master branch, last one 4 months ago
7
202
mpl-2.0
13
Declarative concurrency and stream processing library for Scala
Created 2020-04-15
1,645 commits to main branch, last one 2 days ago
53
143
unlicense
39
The Fungible Token standard on the Flow Blockchain
Created 2020-04-19
202 commits to master branch, last one 15 days ago
4
90
bsd-3-clause
8
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 6 months ago
6
61
unknown
5
Comprehensions for Arrows and Monoidal categories
Created 2019-04-06
148 commits to master branch, last one 3 months ago
Linear types in Scala
Created 2021-05-16
121 commits to main branch, last one 14 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
266 commits to master branch, last one 3 days ago