Alternatives and similar repositories for argo

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

• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 2 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 7 months ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆55Updated 4 months ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 11 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated last month
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 7 months ago
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆55Updated last year
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆32Updated 10 months ago
• byteverse / chronos
  Haskell time library focusing on performance
  ☆58Updated 2 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated last week
• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆47Updated 2 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 3 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated last month
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 4 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 2 weeks ago