Alternatives and similar repositories for lens-typelevel

Users that are interested in lens-typelevel are comparing it to the libraries listed below

• duog / generic-lens-labels

  View on GitHub
  ☆12Jul 8, 2021Updated 4 years ago
• Lysxia / generic-data-surgery

  View on GitHub
  Surgery for generic data types
  ☆25Jan 25, 2021Updated 5 years ago
• achirkin / constraints-deriving

  View on GitHub
  Programmatically create new instances using core-to-core plugins
  ☆11Mar 24, 2021Updated 4 years ago
• kosmikus / ghc-compact-holes

  View on GitHub
  GHC patched with the -fcompact-holes flag
  ☆11Nov 12, 2018Updated 7 years ago
• isovector / do-notation

  View on GitHub
  deprecated in favor of -XQualifiedDo
  ☆41May 8, 2021Updated 4 years ago
• fused-effects / fused-effects-lens

  View on GitHub
  Lens combinators for fused-effects.
  ☆17Oct 19, 2020Updated 5 years ago
• cau-placc / inversion-plugin

  View on GitHub
  ☆10Nov 21, 2025Updated 2 months ago
• purescript-hyper / purescript-hypertrout

  View on GitHub
  Build servers in Hyper using Trout
  ☆16Jul 2, 2020Updated 5 years ago
• isovector / jazz

  View on GitHub
  i bet you there is a typesystem behind music
  ☆32Oct 24, 2018Updated 7 years ago
• isovector / ghci.vim

  View on GitHub
  ↔️ tight ghci integration for vim
  ☆17Oct 21, 2022Updated 3 years ago
• smarr / truffle

  View on GitHub
  The Truffle Language Implementation Framework
  ☆11Feb 15, 2025Updated 11 months ago
• Icelandjack / deriving-via

  View on GitHub
  Deriving via
  ☆33Aug 6, 2018Updated 7 years ago
• joshvera / effects

  View on GitHub
  An implementation of "Freer Monads, More Extensible Effects".
  ☆20Oct 17, 2018Updated 7 years ago
• isovector / constraints-emerge

  View on GitHub
  📤 defer instance resolution until runtime
  ☆18Sep 23, 2019Updated 6 years ago
• TylorS / typed-test

  View on GitHub
  Testing that works for you.
  ☆18Jan 4, 2023Updated 3 years ago
• sirlensalot / fadno

  View on GitHub
  Polymorphic music library with export to musicxml and midi
  ☆16Jan 20, 2024Updated 2 years ago
• patrickt / effects-benchmarks

  View on GitHub
  Benchmarking Haskell extensible-effect libraries.
  ☆34Aug 2, 2020Updated 5 years ago
• pepeiborra / hls-tutorial

  View on GitHub
  A tutorial on writing Haskell Language Server plugins
  ☆70Aug 16, 2020Updated 5 years ago
• sjoerdvisscher / one-liner

  View on GitHub
  Constraint-based generics
  ☆49Jan 6, 2026Updated last month
• rinn7e / rinn7e-halogen-starter

  View on GitHub
  Opinionated Purescript Halogen Starter
  ☆17Jun 12, 2019Updated 6 years ago
• agentultra / DataVersion

  View on GitHub
  ☆21Dec 8, 2022Updated 3 years ago
• Lysxia / generic-data

  View on GitHub
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Dec 29, 2025Updated last month
• CategoricalData / HoTT-categories

  View on GitHub
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Jan 10, 2014Updated 12 years ago
• themattchan / haskell-tiger

  View on GitHub
  Modern compiler implementation in ML, in Haskell
  ☆16Apr 4, 2018Updated 7 years ago
• isovector / dynahaskell

  View on GitHub
  the dynabook but for haskell
  ☆23Sep 23, 2019Updated 6 years ago
• Lysxia / generic-recursion-schemes

  View on GitHub
  Folds for recursive types with GHC Generics
  ☆28Aug 9, 2025Updated 6 months ago
• parsonsmatt / encoding-via

  View on GitHub
  type classes and deriving via for encoding
  ☆22Feb 4, 2020Updated 6 years ago
• chrisdone-archive / sdl2-sprite

  View on GitHub
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24May 12, 2018Updated 7 years ago
• justinwoo / purescript-web-audio-player-demo

  View on GitHub
  A web audio player demo using Halogen for skipping in different increments
  ☆20Jun 20, 2018Updated 7 years ago
• emilypi / nonempty-vector

  View on GitHub
  Non-empty Vectors
  ☆26Apr 17, 2025Updated 9 months ago
• Tritlo / ExampleHolePlugin

  View on GitHub
  ☆24May 22, 2020Updated 5 years ago
• sellout / category-parametric-talk

  View on GitHub
  Talks on category-parametric programming.
  ☆23Dec 15, 2023Updated 2 years ago
• gcanti / mtl-ts

  View on GitHub
  MTL-style in TypeScript
  ☆25Feb 27, 2018Updated 7 years ago
• mcneissue / purescript-snap

  View on GitHub
  An approach to user interfaces based in denotational design.
  ☆27Jan 7, 2023Updated 3 years ago
• mitchellwrosen / slacky

  View on GitHub
  ☆46Sep 4, 2016Updated 9 years ago
• cokmett / cokmett

  View on GitHub
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Oct 29, 2013Updated 12 years ago
• yi-editor / yi-rope

  View on GitHub
  Rope data structure used by Yi
  ☆20Jun 6, 2018Updated 7 years ago
• kowainik / hintman

  View on GitHub
  🔫 GitHub application to suggest hints
  ☆26Nov 6, 2020Updated 5 years ago
• ChrisPenner / haskell-stack-travis-ci

  View on GitHub
  Dead simple setup tools for running a Haskell build matrix using stack for several versions.
  ☆23Dec 3, 2017Updated 8 years ago