Monad composition for Cats
☆16Aug 2, 2017Updated 8 years ago
Alternatives and similar repositories for moonads
Users that are interested in moonads are comparing it to the libraries listed below
Sorting:
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Liberator - sent to make you Free☆88Dec 14, 2018Updated 7 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- Library that eases the usage of Free Monads based on cats and allows to compose multiple free monads into one.☆17Sep 14, 2016Updated 9 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- Alternative to Free monads☆34Oct 15, 2016Updated 9 years ago
- Field-based type hints for circe☆12Mar 22, 2018Updated 7 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 7 years ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 8 years ago
- Java NIO utilities for usage with Monix☆52Oct 14, 2021Updated 4 years ago
- Boilerplate-free model transformation in Scala☆31Oct 31, 2017Updated 8 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 9 years ago
- Minimal, idiomatic, stream-based Scala interface for key/value store implementations☆91Feb 22, 2020Updated 6 years ago
- Convert Task to Future, and Future to Task☆63May 3, 2018Updated 7 years ago
- source code to generate presentations☆11Nov 20, 2021Updated 4 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- Obsolete, Ammonite is now supported in IntelliJ 🎉 -->☆11Jan 7, 2017Updated 9 years ago
- ☆10May 23, 2019Updated 6 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Convert any value to code☆12Jul 1, 2023Updated 2 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- Provides a safe API for parsing settings objects out of Typesafe Config.☆89May 17, 2024Updated last year
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago
- ☆46Feb 7, 2020Updated 6 years ago
- Thread safe implementation of org.apache.mesos.Scheduler based on scalaz streams☆25Nov 19, 2016Updated 9 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- ☆12Jul 28, 2017Updated 8 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- An onion architecture example☆69Oct 17, 2016Updated 9 years ago
- Functional HTML5 and XML library for the Scala platform☆110Dec 10, 2020Updated 5 years ago
- Provides protection against cascading failures and system overload.☆28May 17, 2024Updated last year
- Minimum boilerplate lib and pattern for Free/Coproduct/Inject based applications☆27Updated this week
- Fast, deboxed, specialized data structures for Scala☆267Jul 8, 2021Updated 4 years ago
- small runtime + java-agent, which brings back full stacktrace for exceptions, generated inside Future callbacks (like apply, map, flatMap…☆32Aug 29, 2021Updated 4 years ago
- Data management utilities for Scala☆19Dec 13, 2016Updated 9 years ago
- A pair of combinators for async gzip/gunzip support for fs2 byte streams☆13Mar 11, 2020Updated 5 years ago