Systems language with linear types and capability-based security.

The non-fungible token standard on the Flow blockchain

Standard library for linear types in Haskell.

Declarative concurrency and stream processing library for Scala

The Fungible Token standard on the Flow Blockchain

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

Comprehensions for Arrows and Monoidal categories

Linear types in Scala

A Rust library for runtime-checked linearish types

Pretty-print error messages of the ATS Compiler

NumLin: Linear Types for Linear Algebra

A bioinformatics tool for analyzing somatic hypermutation

Experiments with linear types

Linear lenses in Blodwen

The monorepo of YulDSL (a DSL for Solidity/Yul) and its programming frontend Yolc.

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/

Static Uniqueness Analysis for the Lean 4 Theorem Prover

A basic C++17 based base library

For building & Releasing

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"