Alternatives and similar repositories for holotype

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

• obsidiansystems / rhyolite
  ☆30Updated 2 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated last week
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆34Updated 3 months ago
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated 9 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆35Updated last week
• 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 11 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
• NixOS / language-nix
  Data types and useful functions to represent and manipulate the Nix language. | Source has moved to https://github.com/nixos/cabal2nix
  ☆30Updated last year
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆62Updated 5 years ago
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 5 years ago
• dhallix / nix-derivation
  ☆30Updated 5 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 7 months ago
• hasufell / stack2cabal
  Convert stack projects to cabal.project + cabal.project.freeze
  ☆26Updated last year
• mpickering / old-ghc-nix
  Old and New GHC
  ☆20Updated 2 years ago
• circuithub / fast-downward
  Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward
  ☆32Updated 2 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆56Updated last year
• typeable / nixpkgs-stackage
  Stackage overlay for Nixpkgs
  ☆25Updated 5 years ago
• haskell-hvr / cabal-plan
  Library and utility for processing cabal's plan.json file
  ☆41Updated 5 months ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆26Updated 8 months ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆67Updated 2 years ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated last year
• k0001 / di
  Easy and powerful typeful logging without monad towers, in Haskell.
  ☆26Updated last year
• iokasimov / apart
  Get all your structure and rip it apart.
  ☆32Updated 7 years ago
• achirkin / interprocess
  Portable interprocess communication (IPC) in Haskell
  ☆13Updated last year
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated last year
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 3 weeks ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated last year
• byteverse / chronos
  Haskell time library focusing on performance
  ☆59Updated last month