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
• chrisdone-archive / caseof
  A simple way to query constructors, like cases but slightly more concise
  ☆11Updated 7 years ago
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 6 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• ziman / itt
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Updated 5 years ago
• cenary-lang / cenary
  A Language and its compiler on Ethereum Virtual Machine
  ☆14Updated 6 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• Icelandjack / Capabilities
  A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…
  ☆27Updated 7 years ago
• mgajda / monad-lgbt
  Monad transformers for combining local and global state with backtracking/backjumping/continuations
  ☆20Updated 9 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 6 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Updated 7 years ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 9 years ago
• emilaxelsson / trackit
  A command-line tool for live monitoring
  ☆25Updated 2 months ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated 2 months ago
• thsutton / cha
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22Updated 9 years ago
• ekmett / hyperfunctions
  playing with hyperfunctions
  ☆16Updated 4 years ago
• winterland1989 / stdio
  Haskell Standard Input and Output
  ☆46Updated 7 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• yav / presburger
  Decision procedures for Presburger arithmetic in Haskell
  ☆30Updated 4 months ago