A talk on using recursion schemes in FP.
☆219Apr 1, 2024Updated last year
Alternatives and similar repositories for recursion-scheme-talk
Users that are interested in recursion-scheme-talk are comparing it to the libraries listed below
Sorting:
- Generalized recursion schemes and traversals for Scala.☆820Apr 1, 2020Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- My London HUG talk: Recursion Schemes by Example☆51Aug 1, 2014Updated 11 years ago
- A cohesive & pragmatic framework of FP centric Scala libraries☆616Aug 13, 2019Updated 6 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Aug 30, 2018Updated 7 years ago
- Fun and Games with Fix, Cofree, and Doobie☆40Nov 13, 2016Updated 9 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Sep 8, 2025Updated 5 months ago
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago
- Resources for learning and using recursion schemes.☆1,288Apr 25, 2024Updated last year
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 9 years ago
- Generalized bananas, lenses and barbed wire☆352Feb 14, 2026Updated 2 weeks ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Jan 29, 2017Updated 9 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 9 years ago
- Seamless interop layer between cats and scalaz☆175Feb 26, 2021Updated 5 years ago
- An onion architecture example☆69Oct 17, 2016Updated 9 years ago
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Nov 13, 2020Updated 5 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- Compiling to Categories☆458Feb 28, 2024Updated 2 years ago
- Array-based immutable collections for scala☆86Mar 22, 2018Updated 7 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Don't Fear the Profunctor Optics!☆432Apr 15, 2025Updated 10 months ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- Eff monad for cats - https://atnos-org.github.io/eff☆588Updated this week
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆158Mar 3, 2021Updated 5 years ago
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- Liberator - sent to make you Free☆88Dec 14, 2018Updated 7 years ago
- Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala☆111May 24, 2017Updated 8 years ago
- Networks of composable stream transducers☆338Mar 3, 2025Updated 11 months ago
- A plugin to build your application using dotty with sbt support☆23Apr 5, 2017Updated 8 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- A demo implementation of a simple dependently-typed language☆619Nov 18, 2024Updated last year
- Extensible algebraic effects with handlers☆148Updated this week
- better implicit errors for scala☆373Jan 16, 2026Updated last month
- cats transformer type classes.☆309Feb 23, 2026Updated last week
- Scala Algorithms and Data Structures☆233Aug 10, 2016Updated 9 years ago
- Slides from talks that I give☆297Jun 23, 2023Updated 2 years ago