A master-class in Origami - from primitive recursions to Kan-extension-based Folds
☆14Nov 21, 2017Updated 8 years ago
Alternatives and similar repositories for Cata-Mu-Fix
Users that are interested in Cata-Mu-Fix are comparing it to the libraries listed below
Sorting:
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 10 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Scala implementation for JSON-RPC and Language Server Protocol☆20Jan 19, 2019Updated 7 years ago
- ☆26Aug 12, 2024Updated last year
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- An exploration of purely functional library design in Scala.☆104May 10, 2016Updated 9 years ago
- A Presentation around a pragmatic approach to building a purely functional architecture☆12Sep 30, 2015Updated 10 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- Scala implementation of shamir's secret-sharing scheme.☆11Apr 19, 2017Updated 8 years ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated last year
- add-on to Akka Typed that tracks effects for use with Session Types☆51Jul 15, 2021Updated 4 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Mar 30, 2019Updated 6 years ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆151Mar 20, 2022Updated 3 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 6 years ago
- Example of how we use the ammonite REPL with akka to provide a console into our systems.☆10Feb 27, 2018Updated 8 years ago
- ☆46Apr 2, 2020Updated 5 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- Reads typeclass for Scala☆14Mar 13, 2017Updated 8 years ago
- Gigahorse plugin for Github API v3☆12Jun 24, 2018Updated 7 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 5 years ago
- An example SBT project which uses new-style macros☆13Jul 29, 2017Updated 8 years ago
- Session programming in Scala☆58Jun 17, 2021Updated 4 years ago
- ☆15Jun 18, 2020Updated 5 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- exports your dependency graph to a preloaded local repository☆15May 10, 2019Updated 6 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 8 years ago
- The pure testing library by scalaz.☆89Nov 8, 2019Updated 6 years ago