Alternatives and similar repositories for hood

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

• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 2 months ago
• ekmett / tagged
  phantom types
  ☆38Updated 3 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 9 months ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 6 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆21Updated 3 months ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 6 months ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 6 years ago
• dreixel / generic-deriving
  ☆44Updated 2 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 3 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 3 months ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 2 months ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 5 months ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 2 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated this week
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated 2 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago