Linear type system for safe WASM memory management
Type-safe Zig bridge for Nginx configuration with Ephapax linear tokens
The dryft programming language
Declarative concurrency and stream processing library for Scala
The non-fungible token standard on the Flow blockchain
The non-fungible token standard on the Flow blockchain
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.
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
Systems language with linear types and capability-based security.
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).
Comprehensions for Arrows and Monoidal categories
public notes on an "annotation system" for the Zig programming language.
A bioinformatics tool for analyzing somatic hypermutation
Static Uniqueness Analysis for the Lean 4 Theorem Prover
Add a description, image, and links to the linear-types topic page so that developers can more easily learn about it.
To associate your repository with the linear-types topic, visit your repo's landing page and select "manage topics."