Alternatives and similar repositories for holotype

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

• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated this week
• expipiplus1 / vector-sized
  ☆35Updated 11 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 3 months ago
• freckle / graphula
  A simple interface for generating persistent data and linking its dependencies
  ☆47Updated 2 weeks ago
• circuithub / fast-downward
  Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward
  ☆32Updated 2 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• kayhide / wakame
  Haskell library of row polymorphic record manipulator
  ☆23Updated 4 years ago
• obsidiansystems / rhyolite
  ☆30Updated last month
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 5 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 4 months ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆25Updated 4 months ago
• justinwoo / spago2nix
  Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.
  ☆43Updated last year
• chessai / pump
  reverse dependency build matrix generator
  ☆33Updated 4 years ago
• hasufell / stack2cabal
  Convert stack projects to cabal.project + cabal.project.freeze
  ☆25Updated last year
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 5 years ago
• achirkin / interprocess
  Portable interprocess communication (IPC) in Haskell
  ☆13Updated last year
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 7 months ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆67Updated 2 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆61Updated 4 years ago
• mhwombat / creatur
  Framework for artificial life and other evolutionary algorithms.
  ☆31Updated 2 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 7 years ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆49Updated 6 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated 4 months ago
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago