Search Results - RepositoryStats

austral austral

38

1.1k

apache-2.0

29

Systems language with linear types and capability-based security.

compiler capabilities linear-types

Created 2018-09-25

8,948 commits to master branch, last one 10 days ago

flow-nft onflow

166

464

unlicense

52

The non-fungible token standard on the Flow blockchain

nft onflow blockchain linear-types smart-contracts

Created 2020-04-19

235 commits to master branch, last one 17 days ago

linear-base tweag

38

331

mit

33

Standard library for linear types in Haskell.

haskell linear-types

Created 2017-11-23

923 commits to master branch, last one 2 months ago

libretto TomasMikula

6

193

mpl-2.0

11

Declarative concurrency and stream processing library for Scala

concurrency type-safety linear-types session-types expressiveness resource-safety stream-processing functional-programming declarative-programming

Created 2020-04-15

1,406 commits to main branch, last one 8 days ago

flow-ft onflow

52

141

unlicense

37

The Fungible Token standard on the Flow Blockchain

onflow blockchain linear-types fungible-tokens smart-contracts

Created 2020-04-19

184 commits to master branch, last one 17 days ago

linear-builder Bodigrim

4

88

bsd-3-clause

8

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

text buffer builder haskell unicode bytestring linear-types strict-types stringbuffer concatenation string-buffer stringbuilder string-builder string-manipulation

Created 2022-02-02

148 commits to master branch, last one 19 days ago

volga manatki

6

61

unknown

6

Comprehensions for Arrows and Monoidal categories

scala arrows macros linear-types comprehension symmetric-monoidal-categories

Created 2019-04-06

145 commits to master branch, last one about a month ago

linear-scala earldouglas

1

39

isc

3

Linear types in Scala

scala scalafix linear-types

Created 2021-05-16

102 commits to main branch, last one 7 days ago