linear-types

There are 28 repositories under linear-types topic.

austral/austral
Systems language with linear types and capability-based security.
Language:OCaml1.2k 29 30044
onflow/flow-nft
The non-fungible token standard on the Flow blockchain
Language:Cadence462 54 79170
tweag/linear-base
Standard library for linear types in Haskell.
Language:Haskell340 40 16737
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
Language:Scala200 12 957
onflow/flow-ft
The Fungible Token standard on the Flow Blockchain
Language:Cadence143 39 4253
Bodigrim/linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
Language:Haskell89 8 104
manatki/volga
Comprehensions for Arrows and Monoidal categories
Language:Scala61 5 36
earldouglas/linear-scala
Linear types in Scala
Language:Scala42 3 12
matklad/drop_bomb
A Rust library for runtime-checked linearish types
Language:Rust32 3 25
sparverius/ats-acc
Pretty-print error messages of the ATS Compiler
Language:ATS32 4 43
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:Haskell29 4 23
dc-mak/NumLin
NumLin: Linear Types for Linear Algebra
Language:TeX23 6 14
Matthew-Mosior/fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
Language:Haskell15 2 00
clayrat/idris-linear
Experiments with linear types
Language:Idris14 3 00
vmchale/linear
Linear lenses in Blodwen
Language:Idris13 4 0
kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Language:Haskell11 1 32
mhuisi/Uniq
Static Uniqueness Analysis for the Lean 4 Theorem Prover
Language:Lean8 2 01
basicpp17/basicpp17
A basic C++17 based base library
Language:C++7 6 144
sparverius/Temptory-Release
For building & Releasing
Language:Makefile6 4 50
alexj136/gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Language:Haskell4 2 00
ashalkhakov/libatsc
ATS/C libraries
Language:ATS4 3 130
bismuthlang/bismuth
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
Language:C++4 1 00
eudoxia0/l0
Linear Lisp
Language:Standard ML3 4 0
snordgren/fjord
A strict, linearly typed functional programming language that compiles to JS.
Language:Haskell3 2 520
ashton314/christmas-compiler
An experimental lambda calculus compiling to the LLVM
Language:Racket2 3 31
jiribenes/lily
Lily: A C++ linter based on linear types
Language:Haskell2 3 00
vmchale/linear-zipper
Zippers (a la Huet) in ATS
Language:ATS1 3 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:HTML0 1 00

linear-types

austral/austral

onflow/flow-nft

tweag/linear-base

TomasMikula/libretto

onflow/flow-ft

Bodigrim/linear-builder

manatki/volga

earldouglas/linear-scala

matklad/drop_bomb

sparverius/ats-acc

yolc-dev/yul-dsl-monorepo

dc-mak/NumLin

Matthew-Mosior/fasta-region-inspector

clayrat/idris-linear

vmchale/linear

kztk-m/sparcl

mhuisi/Uniq

basicpp17/basicpp17

sparverius/Temptory-Release

alexj136/gvcalc

ashalkhakov/libatsc

bismuthlang/bismuth

eudoxia0/l0

snordgren/fjord

ashton314/christmas-compiler

jiribenes/lily

vmchale/linear-zipper

gabrieldesh/concurrent-lambda-calculus