This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
☆11Dec 15, 2023Updated 2 years ago
Alternatives and similar repositories for cheshire
Users that are interested in cheshire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for the "Logic, machines and sequent calculus" talk☆32Sep 7, 2022Updated 3 years ago
- Generic programming experiment in Scala☆19Sep 27, 2021Updated 4 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Feb 3, 2026Updated 2 months ago
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 years ago
- ☆10Jun 24, 2019Updated 6 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 compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆72Jun 15, 2019Updated 6 years ago
- Specialized Monad Transformer instances for better performance☆11Mar 25, 2018Updated 8 years ago
- replace scalacheck-shapeless with scalacheck-magnolia for insane compilation speed up☆34Apr 15, 2019Updated 7 years ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 5 years ago
- A type-parametric unboxed Option type for Scala☆65Oct 10, 2021Updated 4 years ago
- composable regular expressions based on Kleene algebras and recursion schemes☆14Oct 6, 2021Updated 4 years ago
- Slides for Scalaworld 2019☆15Oct 29, 2020Updated 5 years ago
- Implementation of the ideas in the Build Systems a la Carte paper☆15Jan 5, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Wailing into the primordial ooze of category theory☆55Mar 14, 2026Updated last month
- Newtype for cats☆51May 2, 2019Updated 6 years ago
- Fast, secure cryptographic primitives in a ZIO & ZIO Streams friendly package.☆31Sep 4, 2024Updated last year
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- ☆17Apr 22, 2018Updated 7 years ago
- tiny webservice to get a link preview from a url☆15Jul 28, 2015Updated 10 years ago
- Interactive dive into fs2☆33Oct 11, 2018Updated 7 years ago
- AWS scala native implementation☆20Updated this week
- ☆33Mar 19, 2015Updated 11 years ago
- 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.
- Explore haskell and functional programming concepts☆20Dec 18, 2018Updated 7 years ago
- Talks on category-parametric programming.☆23Dec 15, 2023Updated 2 years ago
- STM monad for cats-effect☆36May 13, 2019Updated 6 years ago
- JDK 11+ http client implementation for http4s clients☆59Updated this week
- Skunk-inspired library for SQLite on JVM, Node.js, and Native☆30May 8, 2025Updated 11 months ago
- Example telegram bot implementation using fs2 and http4s client (no akka)☆43May 7, 2022Updated 3 years ago
- Asynchronous, fully functional Cassandra driver implemented in fs2☆19Apr 1, 2026Updated 2 weeks ago
- An sbt plugin for splitting tests across multiple shards to speed up tests.☆25Mar 29, 2024Updated 2 years ago
- MUnit binding for Typelevel Discipline☆25Updated this week
- 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.
- Compiler plugin for intuitive tagless final☆126Jul 30, 2024Updated last year
- HTTP service for schema storage and client generation☆28Oct 6, 2022Updated 3 years ago
- Abstract Type Member Parallel Instances☆61Jun 19, 2020Updated 5 years ago
- Various protocol decoders and encoders☆29Sep 5, 2025Updated 7 months ago
- macro for summoning implicit values☆92Mar 7, 2020Updated 6 years ago
- Build your web API on the type level.☆161May 22, 2019Updated 6 years ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆151Mar 20, 2022Updated 4 years ago