Alternatives and similar repositories for talk-2012-folds-and-unfolds

Users that are interested in talk-2012-folds-and-unfolds are comparing it to the libraries listed below

• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆37Updated 5 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• tofu-tf / awesome-tagless-final
  Curated list of TF related stuff
  ☆27Updated 2 years ago
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 4 years ago
• sequents / code
  Proof theory seminar
  ☆35Updated 4 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated last year
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated last year
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 4 years ago
• Nipsuli / unisonhttp
  WIP: unison http implementation
  ☆19Updated 5 years ago
• gvolpe / shopping-cart-haskell
  Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
  ☆65Updated 3 years ago
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆42Updated 5 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• Eventuria / demonstration-gsd
  GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
  ☆52Updated 5 years ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆170Updated last month
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆58Updated 3 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 9 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated last week
• tel / scala-typeclassopedia
  Brent Yorgey's Typeclassopedia, translated to Scala
  ☆24Updated 7 years ago
• chiroptical / book-of-monads
  Finished Book of Monads by Alejandro Serrano-Mena
  ☆27Updated 5 years ago
• mbrc12 / etanol
  A purity and nullability analysis tool for Java.
  ☆25Updated 6 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 3 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆82Updated last year
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 5 months ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• graninas / Andromeda
  ☆78Updated 9 months ago