linear-types
Here are 27 public repositories matching this topic...
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
-
Updated
Aug 16, 2017 - Haskell
A strict, linearly typed functional programming language that compiles to JS.
-
Updated
Jan 3, 2023 - Haskell
Linear lenses in Blodwen
-
Updated
Feb 9, 2019 - Idris
Zippers (a la Huet) in ATS
-
Updated
Jul 9, 2020 - ATS
For building & Releasing
-
Updated
Aug 25, 2019 - Makefile
Lily: A C++ linter based on linear types
-
Updated
Jul 29, 2020 - Haskell
A bioinformatics tool for analyzing somatic hypermutation
-
Updated
Feb 10, 2024 - Haskell
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.
-
Updated
Feb 17, 2022 - HTML
-
Updated
Dec 16, 2022 - Haskell
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
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
-
Updated
Mar 2, 2024 - Haskell
Pretty-print error messages of the ATS Compiler
-
Updated
Jun 28, 2019 - ATS
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.
-
Updated
Jul 5, 2024 - Haskell
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."