Alternatives and similar repositories for Candor:

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

• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆14Updated 7 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• dmjio / aoc2017
  Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!
  ☆8Updated 7 years ago
• luke-clifton / generic-monoid
  Deriving Semigroup and Monoid instances for your product types
  ☆11Updated last month
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 4 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• i-am-tom / dagmore
  Less Type, more Typeable.
  ☆14Updated 6 years ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 6 years ago
• bgamari / criterion-compare
  A simple tool for visualising differences in Criterion benchmark results
  ☆14Updated 3 weeks ago
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated 5 months ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 3 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated last month
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• byteverse / contiguous
  Typeclass for array types
  ☆19Updated last month
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 3 weeks ago
• kosmikus / ghc-compact-holes
  GHC patched with the -fcompact-holes flag
  ☆11Updated 6 years ago
• lehins / massiv-io
  Read and write images as massiv arrays
  ☆13Updated 3 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 2 months ago
• gelisam / surjective
  An output coverage checker
  ☆11Updated 6 years ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 6 years ago