Alternatives and similar repositories for Blog

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

• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 9 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 9 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 9 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 9 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 11 months ago
• shayan-najd / MiniFeldspar
  ☆22Updated 10 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆94Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆51Updated 10 years ago
• sharkdp / purescript-ctprelude
  A Prelude with names from category theory
  ☆51Updated 9 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• Icelandjack / deriving-via
  Deriving via
  ☆33Updated 7 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 11 years ago
• ElvishJerricco / fraxl
  ☆89Updated last year
• hkuplg / fcore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
  ☆46Updated 10 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• UnkindPartition / freemonad-benchmark
  ☆24Updated 9 years ago
• rudymatela / fitspec
  refine properties for testing Haskell programs
  ☆78Updated last year
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated this week
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆62Updated 7 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 5 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆76Updated 6 years ago
• sinelaw / fresh-lang
  ☆14Updated 8 years ago
• david-christiansen / final-pretty-printer
  A monadic (and pretty) pretty printer for Haskell
  ☆39Updated 2 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆49Updated 10 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago