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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- ☆26Aug 12, 2024Updated last year
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 10 years ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated 2 years ago
- An exploration of purely functional library design in Scala.☆106May 10, 2016Updated 9 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 7 years ago
- Scala implementation for JSON-RPC and Language Server Protocol☆20Jan 19, 2019Updated 7 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- sbt plugin for use in all projects at Cake Solutions☆16Jan 12, 2020Updated 6 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 6 years ago
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 years ago
- add-on to Akka Typed that tracks effects for use with Session Types☆51Jul 15, 2021Updated 4 years ago
- Scala FP configuration library with a focus on runtime clarity☆140Jan 31, 2026Updated last month
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆151Mar 20, 2022Updated 4 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
- enforce the Scalazzi subset of Scala with scalafix☆82Mar 30, 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
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 11 months ago
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 5 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- Discover java object sizes through questionable sleuthing plus luck.☆70Jul 16, 2018Updated 7 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- An effect monad for Scalaz 7.2☆55Jun 29, 2018Updated 7 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- Scala implementation of shamir's secret-sharing scheme.☆11Apr 19, 2017Updated 8 years ago
- ☆115Mar 28, 2022Updated 3 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆10Nov 6, 2018Updated 7 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago