linear-types
There are 1 repository under linear-types topic.
- Language:OCaml 1030
- Language:Cadence 464
- Language:Haskell 333
TomasMikula / libretto
Declarative concurrency and stream processing library for Scala
Language:Scala 190- Language:Cadence 140
Bodigrim / linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
Language:Haskell 87- Language:Scala 61
- Language:Scala 37
- Language:Rust 29
sparverius / ats-acc
Pretty-print error messages of the ATS Compiler
Language:ATS 29- Language:TeX 23
Matthew-Mosior / fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
Language:Haskell 14- Language:Idris 13
- Language:Idris 13
- Language:Haskell 9
- Language:C++ 7
hellwolf / yul-dsl-monorepo
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
Language:Haskell 7- Language:Lean 6
For building & Releasing
Language:Makefile 6alexj136 / gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Language:Haskell 4- Language:ATS 3
- Language:Standard ML 3
- Language:Haskell 3
ashton314 / christmas-compiler
An experimental lambda calculus compiling to the LLVM
Language:Racket 2- Language:Haskell 1
vmchale / linear-zipper
Zippers (a la Huet) in ATS
Language:ATS 1gabrieldesh / concurrent-lambda-calculus
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.
Language:HTML 0
