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
  ☆55Updated last week
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Updated 7 years ago
• xgrommx / idris-ecosystem
  ☆50Updated 8 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated 3 weeks ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated last week
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 10 months ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 8 years ago
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated 10 months ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated 2 weeks ago
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆48Updated 4 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆37Updated 5 months ago
• ohad / collie
  Command line interface library in Idris
  ☆33Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆56Updated last year
• haskell-perf / graphs
  ☆41Updated 5 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• andrevdm / bhoogle
  Hoogle terminal UI brick example app
  ☆105Updated 3 weeks ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 7 years ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆102Updated 3 weeks ago
• cjdev2 / text-conversions
  Safe conversions between Haskell textual types
  ☆39Updated 3 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated last month
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago