Alternatives and similar repositories for hemmet

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

• xgrommx / idris-ecosystem
  ☆50Updated 7 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated 2 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Updated 6 years ago
• ohad / collie
  Command line interface library in Idris
  ☆32Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 7 months ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated last month
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated this week
• nikita-volkov / neat-interpolation
  A quasiquoter for neat and simple multiline text interpolation
  ☆58Updated 2 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆13Updated 5 years ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated last year
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 4 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆96Updated 2 years ago
• cblp / funlangs
  Functional languages index
  ☆42Updated 6 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆121Updated 3 years ago
• sequents / code
  Proof theory seminar
  ☆36Updated 4 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 2 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• psibi / shell-conduit
  Write shell scripts with Conduit
  ☆96Updated 5 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• DoctorRainer / sae
  An Idris 2 build tool and a package manager
  ☆28Updated 2 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆61Updated 3 years ago
• Kuratoro / haskell.zettel.page
  Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)
  ☆17Updated 5 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago