The non-fungible token standard on the Flow blockchain
-
Updated
Jan 21, 2026 - Cadence
#
linear-types
Here are 33 public repositories matching this topic...
Systems language with linear types and capability-based security.
-
Updated
Jul 28, 2025 - OCaml
The Fungible Token standard on the Flow Blockchain
-
Updated
Jan 13, 2026 - Cadence
Declarative concurrency and stream processing library for Scala
functional-programming concurrency stream-processing type-safety session-types declarative-programming linear-types expressiveness resource-safety
-
Updated
Feb 1, 2026 - Scala
Comprehensions for Arrows and Monoidal categories
-
Updated
Jun 17, 2025 - Scala
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).
-
Updated
Jul 7, 2025 - Haskell
NumLin: Linear Types for Linear Algebra
-
Updated
Jan 21, 2023 - TeX
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
unicode haskell builder text buffer string-manipulation strict-types concatenation stringbuffer string-builder stringbuilder bytestring string-buffer linear-types
-
Updated
Dec 28, 2025 - Haskell
haskell functional-programming domain-specific-language reversible-programming-language linear-types reversible-computation
-
Updated
Jan 15, 2026 - Haskell
Pretty-print error messages of the ATS Compiler
-
Updated
Jun 28, 2019 - ATS
An experimental lambda calculus compiling to the LLVM
-
Updated
Jan 7, 2021 - Racket
Static Uniqueness Analysis for the Lean 4 Theorem Prover
-
Updated
May 8, 2023 - Lean
A strict, linearly typed functional programming language that compiles to JS.
-
Updated
Jan 3, 2023 - Haskell
The non-fungible token standard on the Flow blockchain
-
Updated
Jan 27, 2026 - Cadence
A bioinformatics tool for analyzing somatic hypermutation
haskell bioinformatics multithreading biomart smt-solver yaml-configuration sbv csv-writer knuth-morris-pratt linear-types xml-generator effect-system effectful somatic-hypermutation
-
Updated
Feb 10, 2024 - Haskell
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
rust compiler lambda-calculus type-theory category-theory programming-languages code-generation linear-types type-systems curry-howard
-
Updated
Dec 3, 2025
Improve this page
Add a description, image, and links to the linear-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the linear-types topic, visit your repo's landing page and select "manage topics."