Alternatives and similar repositories for SmartCheck:

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

• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• JonasDuregard / testing-feat
  FEAT
  ☆25Updated 6 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• lastland / WebSpec
  ☆18Updated 7 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• yamadapc / stack-run-auto
  Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)
  ☆32Updated 8 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• gasche / icfp2013-papers
  List of ICFP'13 accepted papers, with links to preprint or additional information when available
  ☆72Updated 8 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 4 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 2 years ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 10 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago