Alternatives and similar repositories for typelevel-dijkstra-sp

Users that are interested in typelevel-dijkstra-sp are comparing it to the libraries listed below

• ayberkt / pixs
  An image-processing library for Haskell.
  ☆10Updated 9 years ago
• cenary-lang / cenary
  A Language and its compiler on Ethereum Virtual Machine
  ☆14Updated 6 years ago
• chrisdone-archive / caseof
  A simple way to query constructors, like cases but slightly more concise
  ☆11Updated 7 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• utdemir / qualified-imports-plugin
  ☆16Updated 2 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 8 years ago
• i-am-tom / dagmore
  Less Type, more Typeable.
  ☆14Updated 6 years ago
• haskell-works / hw-simd
  Library of simd functions
  ☆18Updated last year
• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• mxswd / webcloud
  Turn an optparse-applicative program into a CGI program!
  ☆35Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• kowainik / life-sync
  🔄 Synchronize personal configs across multiple machines
  ☆21Updated 4 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• kowainik / unlift
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Updated 4 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• mxswd / editable
  Derive editors for data types.
  ☆28Updated 10 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 5 years ago
• leptonyu / salak
  Haskell Configuration Loader
  ☆19Updated last month
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆14Updated 7 years ago
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 6 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated 7 months ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• dmjio / hackernews
  HackerNews API
  ☆40Updated 5 months ago
• NickSeagull / ramus
  📶 - Elm style FRP library for Haskell
  ☆16Updated 6 years ago