Alternatives and similar repositories for hemmet

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

• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated last month
• qnikst / haskell-fun
  A short scripts and programs
  ☆11Updated 2 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Updated 6 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆33Updated last month
• nikita-volkov / neat-interpolation
  A quasiquoter for neat and simple multiline text interpolation
  ☆58Updated 2 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• portnov / ghcprofview-hs
  GHC .prof files viewer
  ☆19Updated 3 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 6 months ago
• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated 2 weeks ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• iokasimov / monopati
  Well-typed paths
  ☆20Updated 6 years ago
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆48Updated 3 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆101Updated last year
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated 2 years ago
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆28Updated 3 months ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• vincenthz / hs-git
  git protocol and storage in pure haskell
  ☆66Updated 3 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆84Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated last week
• Eventuria / demonstration-gsd
  GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
  ☆53Updated 6 years ago
• pheymann / specdris
  A test framework for Idris
  ☆55Updated 6 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year