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
Alternatives and similar repositories for zipper
Users that are interested in zipper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 9 years ago
- Convert any value to code☆12Jul 1, 2023Updated 3 years ago
- Array-based immutable collections for scala☆88Mar 22, 2018Updated 8 years ago
- Multisets for Scala☆87Jul 23, 2021Updated 5 years ago
- Operations for primitive and String singleton types☆163Aug 12, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple typeclass library inspired by scalaz meant as a learning tool by reducing the initial complexity of scalaz.☆10Nov 7, 2016Updated 9 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- Type safe delta☆55Nov 11, 2024Updated last year
- Trying to understand Free Monad by implementing one☆45Feb 10, 2017Updated 9 years ago
- Monad transformers for exception handling☆17Aug 19, 2024Updated 2 years ago
- Automatically generated diagrams and animations for Scala data structures☆590Aug 18, 2024Updated 2 years ago
- Make PartialFunction and extractors composable☆22Aug 19, 2024Updated 2 years ago
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- Sonic reducer - Hierarchical reducer for arbitrary scala sequences☆14Dec 1, 2022Updated 3 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.
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 3 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Make your project more clippity implicitly with imclipitly☆17Apr 29, 2017Updated 9 years ago
- A foundational framework for distributed programming.☆258Feb 3, 2018Updated 8 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 10 years ago
- Typeclass-based HashSet/HashMap for Scala☆33Apr 2, 2017Updated 9 years ago
- Scala implementation of RFC-6570 - http://tools.ietf.org/html/rfc6570☆14Mar 12, 2025Updated last year
- Reasonable telnet server for Scala.☆57Mar 13, 2019Updated 7 years ago
- TypeLevel Programming in Scala☆15Sep 4, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 11 years ago
- add-on to Akka Typed that tracks effects for use with Session Types☆51Jul 15, 2021Updated 5 years ago
- Visually compare Scala data structures with out of the box support for arbitrary case classes.☆179Jun 4, 2021Updated 5 years ago
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 8 years ago
- sbt plugin for generating scala.Tuple/Function related boilerplate code☆111Oct 12, 2026Updated 2 weeks ago
- ☆67Mar 17, 2020Updated 6 years ago
- Yet another MessagePack implementation for Scala☆28Jun 13, 2019Updated 7 years ago
- the Scala delimited continuations plugin and library☆92Jun 22, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Spire's macros for zero-cost operator enrichment☆188Dec 17, 2019Updated 6 years ago
- Composable folds☆13Jul 18, 2018Updated 8 years ago
- Generalized recursion schemes and traversals for Scala.☆824Apr 1, 2020Updated 6 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 10 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 9 years ago
- General, extensible effect monad for Scala with message-passing semantics☆37Sep 16, 2017Updated 9 years ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆152Mar 20, 2022Updated 4 years ago