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☆189Dec 17, 2019Updated 6 years ago
- Flexible law checking for Scala☆336Updated this week
- Iteratees for Cats☆184Aug 15, 2024Updated last year
- Data structures for pure functional programming in Scala☆564Mar 25, 2026Updated 2 weeks ago
- First class syntax support for type classes in Scala☆930Mar 27, 2024Updated 2 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Powerful new number types and numeric abstractions for Scala.☆1,775Updated this week
- Compiler plugin for making type lambdas (type projections) easier to write☆924Mar 30, 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☆279Mar 30, 2026Updated last week
- Automatic type class derivation for Cats☆546Updated this week
- A dimensional analysis library based on dependent types☆197Aug 15, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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☆188Mar 26, 2026Updated 2 weeks ago
- Operations for primitive and String singleton types☆164Aug 12, 2024Updated last year
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆176Sep 24, 2019Updated 6 years ago
- doc/tutorial generator for scala☆573Apr 12, 2021Updated 4 years ago
- friendly little parsers☆356Aug 19, 2024Updated last year
- An exploration of purely functional library design in Scala.☆106May 10, 2016Updated 9 years ago
- Jawn is for parsing jay-sawn (JSON)☆435Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Optics library for Scala☆1,694Updated this week
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Refinement types for Scala☆1,729Updated this 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☆588Mar 30, 2026Updated last week
- Lightweight, modular, and extensible library for functional programming.☆5,434Mar 25, 2026Updated 2 weeks ago
- Birds and cats together☆140Mar 26, 2026Updated 2 weeks ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A cohesive & pragmatic framework of FP centric Scala libraries☆614Aug 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☆497Jan 23, 2026Updated 2 months ago
- cats transformer type classes.☆308Updated this week
- Library for counting and enumerating things.☆47Jul 20, 2021Updated 4 years ago
- Cats Bifunctor IO☆79Jan 18, 2019Updated 7 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Jan 29, 2017Updated 9 years ago