linear-types
Here are 8 public repositories matching this topic...
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
-
Updated
May 31, 2025 - Haskell
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
Jun 3, 2025 - Haskell
A bioinformatics tool for analyzing somatic hypermutation
-
Updated
Feb 10, 2024 - Haskell
-
Updated
Dec 16, 2022 - Haskell
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
Lily: A C++ linter based on linear types
-
Updated
Jul 29, 2020 - 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."