Alternatives and similar repositories for dimensional:

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

• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated 2 weeks ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• UnkindPartition / regex-applicative
  Regex-based parsing with an applicative interface
  ☆130Updated 3 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆96Updated 3 years ago
• knupfer / type-of-html
  High performance type safe html generation
  ☆126Updated 2 years ago
• goldfirere / units
  The home of the units Haskell package
  ☆95Updated 11 months ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated last year
• fragnix / fragnix
  Fragment-based code distribution!
  ☆126Updated 3 years ago
• well-typed / visualize-cbn
  ☆99Updated last week
• nikita-volkov / refined
  Refinement types with static checking
  ☆185Updated 3 weeks ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆103Updated 2 months ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated 6 months ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆139Updated 3 weeks ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated last year
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆88Updated 3 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆117Updated 2 weeks ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• fpco / ghc-prof-flamegraph
  ☆77Updated 2 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆215Updated 6 months ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆110Updated 7 years ago
• mgsloan / store
  Fast binary serialization in Haskell
  ☆109Updated 3 weeks ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago
• aisamanra / haddock-cheatsheet
  ☆103Updated 4 years ago
• jyp / styx
  A nix-based Haskell project manager
  ☆163Updated 3 years ago