Katrix / perspective
Higher kinded data in Scala
☆20Updated 3 weeks ago
Alternatives and similar repositories for perspective:
Users that are interested in perspective are comparing it to the libraries listed below
- Optics experimentation for Dotty☆32Updated 3 years ago
- Typesafe record types for Scala☆21Updated 2 months ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Scala Library for transforming subsets of values within a functor.☆18Updated 2 years ago
- Effect Zoo for Scala☆37Updated last week
- Type-safe high-level ORM for Postgres☆19Updated last year
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Updated 3 years ago
- AWS scala native implementation☆19Updated this week
- A case-insensitive string for Scala☆39Updated last week
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- Verified message-passing programs in Dotty☆48Updated 3 years ago
- Skunk-inspired library for SQLite on JVM, Node.js, and Native☆30Updated 2 weeks ago
- Unique Functional Values for Scala☆17Updated 7 months ago
- Simple encoding of refinement types in Scala 3☆25Updated 9 months ago
- Linear types in Scala☆43Updated 3 weeks ago
- Micro-library that provides source file name and line number.☆33Updated 2 years ago
- Frontend state management library for cats-effect☆27Updated 3 years ago
- Dhall generic decoder for Scala☆46Updated 4 months ago
- ☆29Updated 5 years ago
- Integration between jawn and fs2☆38Updated 2 weeks ago
- ☆35Updated 4 years ago
- Type class derivation for services, not data☆34Updated 2 months ago
- Problem solving à la carte☆20Updated 3 years ago
- Typelevel's very own CryptoKitties!☆28Updated 3 weeks ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Access Scala language features on the type-level☆31Updated 7 months ago
- An sbt plugin that provides the check task (i.e. compile up to, and including, the typer phase)☆19Updated 7 years ago
- Abusing higher-kinded types to generate SQL.☆25Updated last month
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago