Alternatives and similar repositories for LinearLens

Users that are interested in LinearLens are comparing it to the libraries listed below

• sdzx-1 / typed-fsm
  typed finite-state machine
  ☆19Updated 9 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last week
• cdupont / Timeloop
  ☆41Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆44Updated 3 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆45Updated 10 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆31Updated this week
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated 3 weeks ago
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆22Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated 2 weeks ago
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated last week
• matthunz / view-monad
  ☆23Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆58Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 2 years ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆70Updated last year
• well-typed / ghc-debugger
  WIP: A modern step-through debugger for GHC Haskell
  ☆38Updated last week
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆55Updated this week
• agda / agda-language-server
  Language Server for Agda
  ☆113Updated this week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 6 months ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆46Updated 3 months ago
• IntersectMBO / lsm-tree
  A Haskell library for on-disk tables based on LSM-Trees
  ☆48Updated this week
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆96Updated 2 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated last month
• wasp-lang / strong-path
  Strongly typed paths in Haskell
  ☆16Updated last month
• agrafix / openai-hs
  Unofficial OpenAI Haskell Bindings
  ☆53Updated 11 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆60Updated last month
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆101Updated 2 months ago