Alternatives and similar repositories for holotype

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

• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆67Updated 2 years ago
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated 10 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆35Updated last month
• dhallix / nix-derivation
  ☆30Updated 5 years ago
• achirkin / interprocess
  Portable interprocess communication (IPC) in Haskell
  ☆13Updated last year
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆49Updated 7 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆42Updated 5 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆30Updated last year
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆63Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated last year
• chessai / pump
  reverse dependency build matrix generator
  ☆33Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆26Updated 6 months ago
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 5 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated last year
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆56Updated last year
• kayhide / wakame
  Haskell library of row polymorphic record manipulator
  ☆23Updated 5 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years 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
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 8 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆18Updated 3 weeks ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated last year
• obsidiansystems / rhyolite
  ☆30Updated 3 months ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆33Updated 4 months ago
• freckle / graphula
  A simple interface for generating persistent data and linking its dependencies
  ☆48Updated last month
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• ghcjs / ghcjs-ffiqq
  QuasiQuoter for GHCJS JavaScript FFI
  ☆20Updated 9 years ago