Alternatives and similar repositories for surjective

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

• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• agentultra / DataVersion
  ☆21Updated 2 years ago
• well-typed / basic-sop
  Basic examples and functions for generics-sop
  ☆20Updated last year
• nikita-volkov / list-t
  ListT done right
  ☆15Updated last year
• roelvandijk / terminal-progress-bar
  ☆24Updated 2 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• lehins / massiv-io
  Read and write images as massiv arrays
  ☆13Updated 3 years ago
• ocramz / trie-perf
  Performance shootout of various trie implementations
  ☆18Updated 6 years ago
• kosmikus / records-sop
  Experimental implementation of generic record subtyping
  ☆18Updated last year
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 8 months ago
• mkloczko / derive-storable-plugin
  ☆11Updated 2 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• basvandijk / monad-batcher
  An applicative monad that batches commands for later more efficient execution
  ☆27Updated 7 years ago
• plow-technologies / hspec-golden-aeson
  Use tests to monitor changes in Aeson serialization
  ☆18Updated 10 months ago
• maxigit / Metamorphosis
  TemplateHaskell functions to generate types and converter function.
  ☆18Updated last year
• qfpl / hedgehog-fn
  Function generation for Hedgehog
  ☆18Updated 11 months ago
• clash-lang / ghc-tcplugins-extra
  Utilities for writing GHC type-checker plugins
  ☆10Updated 4 months ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• monadfix / tagged-aeson
  Have many Aeson instances for the same type!
  ☆9Updated 6 years ago
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated 8 months ago
• bgamari / criterion-compare
  A simple tool for visualising differences in Criterion benchmark results
  ☆14Updated 3 months ago
• gelisam / laughable
  Clowns to the left of me, jokers to the right
  ☆15Updated 5 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 2 months ago
• mxswd / webcloud
  Turn an optparse-applicative program into a CGI program!
  ☆35Updated 5 years ago
• cartazio / monad-ste
  ST with efficient exceptions
  ☆20Updated 8 years ago
• qfpl / dollaridoos
  A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
  ☆14Updated last month
• alexbiehl / ignite
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Updated 7 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• kosmikus / ghc-compact-holes
  GHC patched with the -fcompact-holes flag
  ☆11Updated 6 years ago