Search Results - RepositoryStats

austral austral

42

1.1k

apache-2.0

28

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 6 months ago

flow-nft onflow

170

466

unlicense

51

The non-fungible token standard on the Flow blockchain

nft onflow blockchain linear-types smart-contracts

Created 2020-04-19

247 commits to master branch, last one 3 months ago

linear-base tweag

37

338

mit

34

Standard library for linear types in Haskell.

haskell linear-types

Created 2017-11-23

939 commits to master branch, last one 3 months ago

libretto TomasMikula

7

200

mpl-2.0

12

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,633 commits to main branch, last one 11 days ago

flow-ft onflow

53

144

unlicense

36

The Fungible Token standard on the Flow Blockchain

onflow blockchain linear-types fungible-tokens smart-contracts

Created 2020-04-19

198 commits to master branch, last one 3 months 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

169 commits to master branch, last one 4 months ago

volga manatki

6

61

unknown

5

Comprehensions for Arrows and Monoidal categories

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

Created 2019-04-06

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

linear-scala earldouglas

1

40

isc

3

Linear types in Scala

scala scalafix linear-types

Created 2021-05-16

116 commits to main branch, last one 2 days ago