Finished Book of Monads by Alejandro Serrano-Mena
☆27May 1, 2020Updated 5 years ago
Alternatives and similar repositories for book-of-monads
Users that are interested in book-of-monads are comparing it to the libraries listed below
Sorting:
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 5 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Apr 21, 2019Updated 6 years ago
- ☆12Jan 7, 2021Updated 5 years ago
- Fake data generator☆11Jul 29, 2020Updated 5 years ago
- Demonstrates creating a Toy IO effect system (TIO) from ground up☆12Jun 24, 2020Updated 5 years ago
- simple static file server backed by http4s-ember.js☆12May 11, 2022Updated 3 years ago
- Basic Concurrent Sudoku Solver implementations using Cats Effect and FS2☆10Dec 19, 2024Updated last year
- Denotational Design: from programs to meanings☆100Mar 5, 2016Updated 10 years ago
- Hexagonal and beyod in kotlin experimentation☆11Jun 15, 2020Updated 5 years ago
- My Generic Roguelike☆15Jan 19, 2025Updated last year
- Full-stack web app, built in a typesafe functional way, where servant-to-elm generates types, decoders/encoders, and fetching functions f…☆14May 23, 2024Updated last year
- Awesome Agda Programming☆19Sep 22, 2025Updated 5 months ago
- get37 🪠 is a Scala / ZIO based web scraper/spider☆14Oct 4, 2022Updated 3 years ago
- Learn Cellular Automata through generative art☆16Jul 9, 2025Updated 8 months ago
- An implementation of Git in Scala 3 with ZIO 2 with all episodes available on YouTube☆18Feb 11, 2023Updated 3 years ago
- ghc and cabal completion for zsh shell☆19Mar 2, 2025Updated last year
- Slides for my talk on Fibers☆18Sep 22, 2024Updated last year
- higher-kinded data☆30May 16, 2023Updated 2 years ago
- Frontend state management library for cats-effect☆27Nov 21, 2021Updated 4 years ago
- Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary☆31Nov 20, 2020Updated 5 years ago
- Source code for the "TicTacToe with ZLayer" blogpost☆26Jan 30, 2026Updated last month
- A sample project to start playing with Macroid☆34Jul 18, 2016Updated 9 years ago
- Slides and video recording for my "Intro to Cats-Effect" talk☆25Aug 31, 2021Updated 4 years ago
- 📖 source material for Thinking with Types☆497Mar 6, 2023Updated 3 years ago
- Trying out advent of code stuff. Plz no copy pasta☆31Dec 1, 2025Updated 3 months ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- ☆33Aug 4, 2025Updated 7 months ago
- Haskell domain modeling playground☆32Jan 15, 2022Updated 4 years ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆36Feb 14, 2018Updated 8 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Dec 11, 2022Updated 3 years ago
- Functional Programming in Scala Tutorial☆33Sep 28, 2025Updated 5 months ago
- ☆12Jul 4, 2024Updated last year
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year
- Implementation for the book <Implementing functional languages: a tutorial>☆33Apr 15, 2019Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- ☆37Jun 20, 2021Updated 4 years ago
- The most practical sample to make with Effect-TS, or is it? To Do taken to the next level ;-)☆32Sep 12, 2021Updated 4 years ago