Experimental project to lay out basic algebra type classes
☆378Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spire's macros for zero-cost operator enrichment☆188Dec 17, 2019Updated 6 years ago
- Flexible law checking for Scala☆336May 10, 2026Updated last week
- Iteratees for Cats☆184Aug 15, 2024Updated last year
- Data structures for pure functional programming in Scala☆563May 10, 2026Updated last week
- First class syntax support for type classes in Scala☆928Mar 27, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Powerful new number types and numeric abstractions for Scala.☆1,775May 10, 2026Updated last week
- Compiler plugin for making type lambdas (type projections) easier to write☆925May 11, 2026Updated last week
- Functional type classes for Scala☆181Mar 13, 2015Updated 11 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 10 years ago
- Generalized recursion schemes and traversals for Scala.☆821Apr 1, 2020Updated 6 years ago
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- property based testing library for Scala☆281May 12, 2026Updated last week
- Automatic type class derivation for Cats☆545May 10, 2026Updated last week
- A dimensional analysis library based on dependent types☆196Aug 15, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- macro for summoning implicit values☆92Mar 7, 2020Updated 6 years ago
- 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
- an implementation of Wadler's a prettier printer☆189May 10, 2026Updated last week
- Operations for primitive and String singleton types☆164Aug 12, 2024Updated last year
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Sep 24, 2019Updated 6 years ago
- doc/tutorial generator for scala☆573Apr 12, 2021Updated 5 years ago
- friendly little parsers☆356Aug 19, 2024Updated last year
- An exploration of purely functional library design in Scala.☆105May 10, 2016Updated 10 years ago
- Optics library for Scala☆1,694Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Jawn is for parsing jay-sawn (JSON)☆436May 12, 2026Updated last week
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Refinement types for Scala☆1,729May 11, 2026Updated last week
- Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.☆62Mar 23, 2018Updated 8 years ago
- A reasonable library for modeling multi-graphs in Scala☆199Oct 19, 2018Updated 7 years ago
- Eff monad for cats - https://atnos-org.github.io/eff☆589Updated this week
- Lightweight, modular, and extensible library for functional programming.☆5,438May 11, 2026Updated last week
- Birds and cats together☆140May 11, 2026Updated last week
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 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.
- A cohesive & pragmatic framework of FP centric Scala libraries☆615Aug 13, 2019Updated 6 years ago
- Interop between fs2 and cats☆43Jun 9, 2020Updated 5 years ago
- Simple & Efficient data access for Scala and Scala.js☆496Jan 23, 2026Updated 3 months ago
- cats transformer type classes.☆308May 11, 2026Updated last week
- Library for counting and enumerating things.☆47Jul 20, 2021Updated 4 years ago
- Cats Bifunctor IO☆80Jan 18, 2019Updated 7 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Jan 29, 2017Updated 9 years ago