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☆31Sep 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 last month
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 years ago
- ☆10Jun 24, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Jun 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 6 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☆64Oct 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Wailing into the primordial ooze of category theory☆55Mar 14, 2026Updated last week
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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 10 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☆19Oct 31, 2025Updated 4 months ago
- An sbt plugin for splitting tests across multiple shards to speed up tests.☆25Mar 29, 2024Updated last year
- MUnit binding for Typelevel Discipline☆25Updated this week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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 6 months ago
- macro for summoning implicit values☆92Mar 7, 2020Updated 6 years ago
- Build your web API on the type level.☆160May 22, 2019Updated 6 years ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆151Mar 20, 2022Updated 4 years ago