Topic: "linear-types"
austral/austral
Systems language with linear types and capability-based security.
Language: OCaml - Size: 4.6 MB - Last synced at: 18 days ago - Pushed at: 29 days ago - Stars: 1,304 - Forks: 46
onflow/flow-nft
The non-fungible token standard on the Flow blockchain
Language: Cadence - Size: 3.03 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 461 - Forks: 170
tweag/linear-base
Standard library for linear types in Haskell.
Language: Haskell - Size: 2.06 MB - Last synced at: 2 days ago - Pushed at: 12 days ago - Stars: 343 - Forks: 39
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
Language: Scala - Size: 15.9 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 211 - Forks: 7
onflow/flow-ft
The Fungible Token standard on the Flow Blockchain
Language: Cadence - Size: 3.05 MB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 143 - Forks: 53
Bodigrim/linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
Language: Haskell - Size: 188 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 94 - Forks: 4
manatki/volga
Comprehensions for Arrows and Monoidal categories
Language: Scala - Size: 347 KB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 61 - Forks: 6
earldouglas/linear-scala
Linear types in Scala
Language: Scala - Size: 128 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 43 - Forks: 1
yolc-dev/yul-dsl-monorepo
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).
Language: Haskell - Size: 1.85 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 39 - Forks: 4
matklad/drop_bomb
A Rust library for runtime-checked linearish types
Language: Rust - Size: 20.5 KB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 34 - Forks: 5
sparverius/ats-acc
Pretty-print error messages of the ATS Compiler
Language: ATS - Size: 84 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 29 - Forks: 2
dc-mak/NumLin
NumLin: Linear Types for Linear Algebra
Language: TeX - Size: 20.8 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 4
Matthew-Mosior/fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
Language: Haskell - Size: 6.53 MB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 0
clayrat/idris-linear
Experiments with linear types
Language: Idris - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 0
vmchale/linear
Linear lenses in Blodwen
Language: Idris - Size: 17.6 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 13 - Forks: 0
mhuisi/Uniq
Static Uniqueness Analysis for the Lean 4 Theorem Prover
Language: Lean - Size: 2.99 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 1
kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Language: Haskell - Size: 356 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1
basicpp17/basicpp17
A basic C++17 based base library
Language: C++ - Size: 1.17 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 4
sparverius/Temptory-Release
For building & Releasing
Language: Makefile - Size: 47.9 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0
alexj136/gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Language: Haskell - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 0
snordgren/fjord
A strict, linearly typed functional programming language that compiles to JS.
Language: Haskell - Size: 548 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
ashalkhakov/libatsc
ATS/C libraries
Language: ATS - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0
eudoxia0/l0
Linear Lisp
Language: Standard ML - Size: 407 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0
ashton314/christmas-compiler
An experimental lambda calculus compiling to the LLVM
Language: Racket - Size: 26.4 KB - Last synced at: about 14 hours ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
jiribenes/lily
Lily: A C++ linter based on linear types
Language: Haskell - Size: 444 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
vmchale/linear-zipper
Zippers (a la Huet) in ATS
Language: ATS - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
gabrieldesh/concurrent-lambda-calculus
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
Language: HTML - Size: 324 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
