Alternatives and similar repositories for generics-mrsop

Users that are interested in generics-mrsop are comparing it to the libraries listed below

• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 3 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• LightAndLight / parametricity-proofs
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Updated 6 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• diagrams / geometry
  Haskell geometry library
  ☆17Updated 5 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 3 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• andriusstank / downhill
  ☆20Updated 2 years ago
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated 4 months ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 6 months ago
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 3 months ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• sheyll / newtype-zoo
  A Zoo of Haskell Newtype Wrappers
  ☆14Updated 4 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• Tritlo / ExampleHolePlugin
  ☆24Updated 5 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• covid-db / covid-scrapers
  ☆13Updated 5 years ago
• mstksg / nonempty-containers
  Efficient non-empty variants of containers data types, with full API
  ☆26Updated last month
• mstksg / decidable
  Combinators for manipulating dependently-typed predicates.
  ☆12Updated last year
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 9 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated last week
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 5 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• koengit / satplus
  ☆13Updated 2 years ago
• gelisam / laughable
  Clowns to the left of me, jokers to the right
  ☆15Updated 5 years ago
• aische / typelevel-examples
  Haskell Type Level Example Programs
  ☆29Updated 7 years ago