Experimental project to lay out basic algebra type classes
☆379Nov 5, 2021Updated 4 years ago
Alternatives and similar repositories for algebra
Users that are interested in algebra are comparing it to the libraries listed below
Sorting:
- Spire's macros for zero-cost operator enrichment☆189Dec 17, 2019Updated 6 years ago
- Flexible law checking for Scala☆334Updated this week
- Iteratees for Cats☆184Aug 15, 2024Updated last year
- First class syntax support for type classes in Scala☆931Mar 27, 2024Updated last year
- Data structures for pure functional programming in Scala☆564Updated this week
- Compiler plugin for making type lambdas (type projections) easier to write☆926Jan 29, 2026Updated 3 weeks ago
- Functional type classes for Scala☆181Mar 13, 2015Updated 10 years ago
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- Generalized recursion schemes and traversals for Scala.☆820Apr 1, 2020Updated 5 years ago
- Powerful new number types and numeric abstractions for Scala.☆1,774Updated this week
- Automatic type class derivation for Cats☆545Updated this week
- property based testing library for Scala☆280Feb 15, 2026Updated last week
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 9 years ago
- A dimensional analysis library based on dependent types☆198Aug 15, 2024Updated last year
- an implementation of Wadler's a prettier printer☆189Updated this week
- Operations for primitive and String singleton types☆164Aug 12, 2024Updated last year
- Birds and cats together☆139Updated this week
- macro for summoning implicit values☆92Mar 7, 2020Updated 5 years ago
- doc/tutorial generator for scala☆575Apr 12, 2021Updated 4 years ago
- Jawn is for parsing jay-sawn (JSON)☆434Updated this week
- 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
- friendly little parsers☆357Aug 19, 2024Updated last year
- A cohesive & pragmatic framework of FP centric Scala libraries☆616Aug 13, 2019Updated 6 years ago
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Sep 24, 2019Updated 6 years ago
- cats transformer type classes.☆309Updated this week
- Eff monad for cats - https://atnos-org.github.io/eff☆588Feb 16, 2026Updated last week
- A reasonable library for modeling multi-graphs in Scala☆198Oct 19, 2018Updated 7 years ago
- Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.☆62Mar 23, 2018Updated 7 years ago
- An exploration of purely functional library design in Scala.☆104May 10, 2016Updated 9 years ago
- Simple & Efficient data access for Scala and Scala.js☆497Jan 23, 2026Updated last month
- Refinement types for Scala☆1,730Updated this week
- Optics library for Scala☆1,695Updated this week
- Cats Bifunctor IO☆79Jan 18, 2019Updated 7 years ago
- Lightweight, modular, and extensible library for functional programming.☆5,420Updated this week
- Scala combinator library for working with binary data☆816Feb 2, 2026Updated 3 weeks ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆151Mar 20, 2022Updated 3 years ago
- Automatic argonaut codec derivation with shapeless☆100Aug 21, 2024Updated last year
- Interop between fs2 and cats☆43Jun 9, 2020Updated 5 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 10 years ago