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:
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- ☆26Oct 23, 2026Updated last week
- Scalafix migrations from Scalaz to Cats☆14Jan 2, 2021Updated 5 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- Multisets for Scala☆87Jul 23, 2021Updated 5 years ago
- ☆22Sep 30, 2016Updated 10 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 8 years ago
- Immutable priority maps for Scala☆39Jan 12, 2017Updated 9 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 8 years ago
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 11 years ago
- An exploration of purely functional library design in Scala.☆104May 10, 2016Updated 10 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scala FP configuration library with a focus on runtime clarity☆144Jun 20, 2026Updated 4 months ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated 2 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆39Mar 28, 2022Updated 4 years ago
- Scala implementation for JSON-RPC and Language Server Protocol☆20Jan 19, 2019Updated 7 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- A JVM Heap dump viewer - a souped-up jhat in scala☆22Sep 24, 2015Updated 11 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- sbt plugin for use in all projects at Cake Solutions☆16Jan 12, 2020Updated 6 years ago
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆152Mar 20, 2022Updated 4 years ago
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 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
- add-on to Akka Typed that tracks effects for use with Session Types☆51Jul 15, 2021Updated 5 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Brent Yorgey's Typeclassopedia, translated to Scala☆26Nov 7, 2017Updated 8 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆58Apr 28, 2020Updated 6 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- ☆46Apr 2, 2020Updated 6 years ago
- enforce the Scalazzi subset of Scala with scalafix☆83Mar 30, 2019Updated 7 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 6 years ago
- An implementation of Huet’s Zipper for Scala and Scala.js that is intended to be usable in many common scenarios☆49Aug 18, 2024Updated 2 years ago