Katrix / perspectiveLinks
Higher kinded data in Scala
☆20Updated 3 months ago
Alternatives and similar repositories for perspective
Users that are interested in perspective are comparing it to the libraries listed below
Sorting:
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- Typesafe record types for Scala☆21Updated 5 months ago
- Extensible protocols for Scala☆13Updated 9 years ago
- A case-insensitive string for Scala☆40Updated this week
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- Effect Zoo for Scala☆41Updated this week
- Reference interpreter for TASTy, the Scala 3 interchange format☆13Updated 2 years ago
- ☆29Updated 5 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- ☆108Updated last year
- Scala Library for transforming subsets of values within a functor.☆18Updated 3 years ago
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Updated 3 years ago
- Problem solving à la carte☆20Updated 3 years ago
- A TypeScript compiler written in Scala (wip)☆18Updated 8 years ago
- Fast streams for Scala 3☆53Updated 5 months ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 9 years ago
- Library for counting and enumerating things.☆47Updated 3 years ago
- Access Scala language features on the type-level☆31Updated 10 months ago
- Cooperative multithreading as a pure monad transformer☆73Updated last week
- Cats Bifunctor IO☆79Updated 6 years ago
- Dhall generic decoder for Scala☆46Updated 7 months ago
- A type-safe Actor class and WiredActor for sending functions as messages☆18Updated 4 years ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- Linear types in Scala☆43Updated last week
- An sbt plugin that provides the check task (i.e. compile up to, and including, the typer phase)☆19Updated 7 years ago
- Makes `A | Null` work with for-comprehensions☆22Updated last year
- Integration between jawn and fs2☆38Updated this week
- Verified message-passing programs in Dotty☆48Updated 4 years ago
- Experiments with incremental compiler construction on the JVM☆11Updated 3 years ago