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:
- Field-based type hints for circe☆12Mar 22, 2018Updated 8 years ago
- Liberator - sent to make you Free☆88Dec 14, 2018Updated 7 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- Alternative to Free monads☆34Oct 15, 2016Updated 9 years ago
- Mixin classes and traits dynamically☆10Sep 4, 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
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 7 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
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Provides a safe API for parsing settings objects out of Typesafe Config.☆89May 17, 2024Updated last year
- Obsolete, Ammonite is now supported in IntelliJ 🎉 -->☆11Jan 7, 2017Updated 9 years ago
- Boilerplate-free model transformation in Scala☆31Oct 31, 2017Updated 8 years ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- Java NIO utilities for usage with Monix☆52Oct 14, 2021Updated 4 years ago
- Convert Task to Future, and Future to Task☆63May 3, 2018Updated 7 years ago
- ☆46Apr 2, 2020Updated 5 years ago
- Fast, deboxed, specialized data structures for Scala☆267Jul 8, 2021Updated 4 years ago
- Functional HTML5 and XML library for the Scala platform☆110Dec 10, 2020Updated 5 years ago
- An onion architecture example☆69Oct 17, 2016Updated 9 years ago
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 10 years ago
- A TypeScript-to-Scala.js converter. Designed for parsing definitelytyped.com, powers definitelyscala.com.☆21Jan 9, 2021Updated 5 years ago
- ☆10May 23, 2019Updated 6 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Minimal, idiomatic, stream-based Scala interface for key/value store implementations☆91Feb 22, 2020Updated 6 years ago
- Scala command-line arguments parser☆63May 6, 2018Updated 7 years ago
- Various protocol decoders and encoders☆29Sep 5, 2025Updated 6 months ago
- PLFC: Programming Language For Cats☆11Jul 21, 2017Updated 8 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- ☆46Feb 7, 2020Updated 6 years ago
- source code to generate presentations☆11Nov 20, 2021Updated 4 years ago
- A monad for resource acquisition and cleanup☆53Sep 12, 2018Updated 7 years ago
- Slides from my lightning talk on Dependency Injection at Scala Central #5.☆13Feb 18, 2017Updated 9 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implici…☆89Oct 1, 2019Updated 6 years ago
- A pair of combinators for async gzip/gunzip support for fs2 byte streams☆13Mar 11, 2020Updated 6 years ago
- Convert any value to code☆12Jul 1, 2023Updated 2 years ago