Linear-typed hashmaps for ATS/Postiats and C. These are mutable hashmaps with typechecked safety precautions. Exported from the Mercurial hosted at https://sourceforge.net/p/chemoelectric/ats2-hashmap
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
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.
The non-fungible token standard on the Flow blockchain
Enforce single-use linear type semantics on resources via Ephapax
Rewind — Premier SDK de calcul nativement reversible pour Rust. Debugger temporel, portes Toffoli, types lineaires. Information is Sacred.
Wrap C codebases in ATS linear types for zero-cost memory safety
Zippers (a la Huet) in ATS
public notes on an "annotation system" for the Zig programming language.
An experimental lambda calculus compiling to the LLVM
Linear type system for safe WASM memory management
The dryft programming language
Lily: A C++ linter based on linear types
A strict, linearly typed functional programming language that compiles to JS.
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
For building & Releasing
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
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."