Projects in Awesome Lists tagged with linear-types
A curated list of projects in awesome lists tagged with linear-types .
https://github.com/austral/austral
Systems language with linear types and capability-based security.
capabilities compiler linear-types
Last synced: 08 Apr 2025
https://github.com/onflow/flow-nft
The non-fungible token standard on the Flow blockchain
blockchain linear-types nft onflow smart-contracts
Last synced: 09 Apr 2026
https://github.com/tweag/linear-base
Standard library for linear types in Haskell.
Last synced: 13 May 2026
https://github.com/onflow/flow-ft
The Fungible Token standard on the Flow Blockchain
blockchain fungible-tokens linear-types onflow smart-contracts
Last synced: 02 Feb 2026
https://github.com/bodigrim/linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
buffer builder bytestring concatenation haskell linear-types strict-types string-buffer string-builder string-manipulation stringbuffer stringbuilder text unicode
Last synced: 13 Apr 2025
https://github.com/tofu-tf/volga
Comprehensions for Arrows and Monoidal categories
arrows comprehension linear-types macros scala symmetric-monoidal-categories
Last synced: 11 Jan 2026
https://github.com/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).
category-theory compiler dsl haskell linear-types solidity yul
Last synced: 09 Sep 2025
https://github.com/matklad/drop_bomb
A Rust library for runtime-checked linearish types
Last synced: 10 Jul 2025
https://github.com/matthew-mosior/fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
bioinformatics biomart csv-writer effect-system effectful haskell knuth-morris-pratt linear-types multithreading sbv smt-solver somatic-hypermutation xml-generator yaml-configuration
Last synced: 23 Jun 2025
https://github.com/kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
domain-specific-language functional-programming haskell linear-types reversible-computation reversible-programming-language
Last synced: 03 Dec 2025
https://github.com/mhuisi/uniq
Static Uniqueness Analysis for the Lean 4 Theorem Prover
lean4 linear-types uniqueness-types
Last synced: 03 Sep 2025
https://github.com/eudoxia0/l0
Linear Lisp
linear-types lisp sml standard-ml
Last synced: 16 Oct 2025
https://github.com/ashton314/christmas-compiler
An experimental lambda calculus compiling to the LLVM
compiler lambda-calculus linear-types lisp llvm racket type-checking type-inference
Last synced: 29 Oct 2025
https://github.com/vmchale/linear-zipper
Zippers (a la Huet) in ATS
ats data-structures functional-data-structure huet linear-types zipper
Last synced: 28 Feb 2026
https://github.com/ibrahimcesar/categorical-semantics-workbench
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
category-theory code-generation compiler curry-howard lambda-calculus linear-types programming-languages rust type-systems type-theory
Last synced: 13 Jan 2026
