scala / scala-collection-laws
partially-automatic generation of tests for the entire collections library
☆23Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for scala-collection-laws
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req …☆31Updated last year
- Access Scala language features on the type-level☆31Updated 3 months ago
- Support for JDK9's Multi Release JAR Files (JEP 238)☆17Updated 2 months ago
- Bringing Spire to Dotty/Scala 3☆14Updated 9 months ago
- ☆17Updated last month
- A case-insensitive string for Scala☆37Updated last week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆17Updated 2 years ago
- Typesafe record types for Scala☆21Updated last week
- This library has been succeeded by cats-tagless☆42Updated 6 years ago
- Dynamically switch between the JVM target and versions of Scala.js in a Scala project☆24Updated 4 years ago
- A knowledge base of Dotty internals and all things related☆20Updated 5 years ago
- Cats instances for fastparse☆19Updated 6 years ago
- Prototype Scala -> GLSL translation, including scaffolding to run + test☆21Updated 4 years ago
- An sbt plugin that provides the check task (i.e. compile up to, and including, the typer phase)☆19Updated 7 years ago
- Higher kinded data in Scala☆19Updated 3 months ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆12Updated last year
- Scala Library for transforming subsets of values within a functor.☆18Updated 2 years ago
- Verify that all reachable code links and will not fail at runtime with a linkage error☆10Updated 2 years ago
- Integration between jawn and fs2☆38Updated last week
- tagless final macro☆18Updated 9 years ago
- Lightweight Buffer and Slice abstractions for Scala.☆25Updated 4 months ago
- ☆26Updated 3 months ago
- XML String Interpolator for Dotty☆32Updated 7 months ago
- An enhanced glob interpolator for Scala with format strings☆12Updated 6 months ago
- ☆16Updated last year
- Typelevel's very own CryptoKitties!☆28Updated this week
- Scripts to automatically fetch Sonatype statistics☆15Updated 2 years ago
- Code exploration via diagrams☆18Updated 2 months ago