Alternatives and similar repositories for argo:

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

• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated last month
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 5 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 6 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 9 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• liamoc / agda-snippets
  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  ☆11Updated 7 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 5 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆23Updated 5 years ago
• dreixel / generic-deriving
  ☆44Updated 2 months ago
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated 8 months ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated last month
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated 3 weeks ago
• phadej / topograph
  Directed Acyclic Graphs
  ☆21Updated last month
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 2 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 6 months ago
• haskell-perf / numbers
  Benchmarks for numbers: ints, doubles, bignums, rationals, etc.
  ☆20Updated 7 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated last month
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago