Fun and Games with Fix, Cofree, and Doobie
☆40Nov 13, 2016Updated 9 years ago
Alternatives and similar repositories for cofree
Users that are interested in cofree are comparing it to the libraries listed below
Sorting:
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Aug 20, 2017Updated 8 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- friendly little parsers☆357Aug 19, 2024Updated last year
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 5 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- Dashboards for any API in Chrome, through a JQ-like DSL.☆23May 23, 2017Updated 8 years ago
- FP Scala Back-end of the Smart Backpacker App☆99Jun 19, 2018Updated 7 years ago
- A talk on using recursion schemes in FP.☆219Apr 1, 2024Updated last year
- Provides a functional API for tracing programs across system and network boundaries.☆60Jul 4, 2024Updated last year
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Sep 8, 2025Updated 5 months ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 years ago
- A reasonable configuration library for Scala☆185Sep 12, 2019Updated 6 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Jan 29, 2017Updated 9 years ago
- Generalized recursion schemes and traversals for Scala.☆820Apr 1, 2020Updated 5 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆40Jun 18, 2015Updated 10 years ago
- Discover java object sizes through questionable sleuthing plus luck.☆70Jul 16, 2018Updated 7 years ago
- A purely functional rate limiter☆181Jun 23, 2025Updated 8 months ago
- Library of utilities for tagless final encoded algebras☆321Updated this week
- ☆30Dec 24, 2025Updated 2 months ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 7 years ago
- an implementation of Wadler's a prettier printer☆189Updated this week
- Cats instances for fastparse☆18May 6, 2018Updated 7 years ago
- migrated to git.rossabaker.com☆16Sep 4, 2025Updated 6 months ago
- Pleasant, yet principled Scala optics DSL☆196Oct 10, 2020Updated 5 years ago
- Web modules built on Http4s☆30Jul 29, 2024Updated last year
- End-to-end tracing system for Http4s☆109May 20, 2022Updated 3 years ago
- Pure-functional random value generation☆119Oct 8, 2017Updated 8 years ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆165Jan 28, 2020Updated 6 years ago
- Typelevel Brickstore☆54Feb 22, 2020Updated 6 years ago
- Idiomatic example of using functional programming to write a microservice☆73Jul 22, 2016Updated 9 years ago
- Eff monad for cats - https://atnos-org.github.io/eff☆588Feb 25, 2026Updated last week
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 9 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago