Alternatives and similar repositories for lens-typelevel

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

• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 4 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆21Updated 3 weeks ago
• qfpl / ban-instance
  Declare that a typeclass instance should not exist.
  ☆11Updated last year
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 7 months ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 6 years ago
• kosmikus / ghc-compact-holes
  GHC patched with the -fcompact-holes flag
  ☆11Updated 6 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 8 months ago
• garyb / purescript-indexed-monad
  ☆21Updated 2 years ago
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated 6 months ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆21Updated 4 months ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• dreixel / generic-deriving
  ☆44Updated 3 months ago
• jwiegley / ghc-dynamic-example
  An example of dynamically loading a Haskell source module
  ☆18Updated 7 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 5 months ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• iijlab / postgresql-pure
  a PostgreSQL client library implemented with pure Haskell
  ☆36Updated 4 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 7 months ago
• vmchale / morphism-zoo
  Some examples of recursion schemes, with benchmarks
  ☆10Updated 7 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆34Updated 2 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• andrewthad / primitive-containers
  Map and Set over contiguous memory
  ☆21Updated last year
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 5 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• iconnect / ridley
  A collection of ready-to-use Prometheus Metrics to monitor your Haskell application
  ☆13Updated 9 months ago
• dalaing / type-systems
  ☆23Updated 7 years ago