Alternatives and similar repositories for argo:

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

• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 8 months ago
• dreixel / generic-deriving
  ☆44Updated last month
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 3 months ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 2 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 4 months ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 weeks ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 2 months ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 4 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated last week
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 8 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• expipiplus1 / vector-sized
  ☆35Updated 7 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 7 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• pcapriotti / agda-base
  Base library for HoTT in Agda
  ☆37Updated 6 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• ekmett / parsnip
  ☆18Updated 4 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 3 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• UlfNorell / agda-bench
  Benchmarking tool for compile-time performance of Agda programs
  ☆18Updated 3 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago