Alternatives and similar repositories for dependent-haskell:

Users that are interested in dependent-haskell are comparing it to the libraries listed below

• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated this week
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆48Updated 9 months ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• rudymatela / speculate
  Speculate laws about Haskell functions
  ☆30Updated 11 months ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• iokasimov / apart
  Get all your structure and rip it apart.
  ☆30Updated 6 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 4 months ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 2 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• haskell-works / hw-json
  ☆50Updated 2 months ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆60Updated 11 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated 7 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 3 months ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆59Updated last month
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 4 months ago
• ekmett / exceptions
  mtl friendly exceptions
  ☆49Updated last month
• freckle / graphula
  A simple interface for generating persistent data and linking its dependencies
  ☆45Updated last week
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago