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 22, 2026Updated 2 weeks ago
- Iteratees for Cats☆184Aug 15, 2024Updated last year
- Data structures for pure functional programming in Scala☆564Updated this week
- First class syntax support for type classes in Scala☆928Mar 27, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Powerful new number types and numeric abstractions for Scala.☆1,775May 22, 2026Updated 2 weeks ago
- Compiler plugin for making type lambdas (type projections) easier to write☆925May 28, 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.☆825Apr 1, 2020Updated 6 years ago
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- property based testing library for Scala☆281Updated this week
- Automatic type class derivation for Cats☆546Updated this week
- A dimensional analysis library based on dependent types☆196Aug 15, 2024Updated last year
- 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.
- 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 22, 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.☆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.☆104May 10, 2016Updated 10 years ago
- Optics library for Scala☆1,697May 23, 2026Updated 2 weeks 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.
- Jawn is for parsing jay-sawn (JSON)☆436May 31, 2026Updated last week
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Refinement types for Scala☆1,731May 23, 2026Updated 2 weeks ago
- 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,446Updated this week
- Birds and cats together☆140May 20, 2026Updated 2 weeks ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 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.
- 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 4 months ago
- cats transformer type classes.☆308May 23, 2026Updated 2 weeks 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
- Library for counting and enumerating things.☆48Jul 20, 2021Updated 4 years ago