scala / scala-collection-laws
partially-automatic generation of tests for the entire collections library
☆23Updated this week
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
- Support for JDK9's Multi Release JAR Files (JEP 238)☆17Updated 2 months ago
- Access Scala language features on the type-level☆31Updated 2 months ago
- ☆47Updated 4 years ago
- Dynamically switch between the JVM target and versions of Scala.js in a Scala project☆24Updated 4 years ago
- Prototype Scala -> GLSL translation, including scaffolding to run + test☆21Updated 4 years ago
- Bringing Spire to Dotty/Scala 3☆14Updated 8 months ago
- Lightweight Buffer and Slice abstractions for Scala.☆25Updated 3 months ago
- ☆22Updated 7 years ago
- Mixin classes and traits dynamically☆10Updated 7 years ago
- A knowledge base of Dotty internals and all things related☆20Updated 5 years ago
- tagless final macro☆18Updated 9 years ago
- Scala compiler plugin for turning non exhaustive match warnings into errors☆29Updated last year
- Cats instances for fastparse☆19Updated 6 years ago
- Typesafe record types for Scala☆21Updated 2 months ago
- Scripts to automatically fetch Sonatype statistics☆15Updated 2 years ago
- Opt - AnyVal Option-like type☆11Updated 7 years ago
- Higher kinded data in Scala☆19Updated 3 months ago
- Yausl : Yet Another Unit System Library for Scala☆16Updated 8 years ago
- Scalameta pretty printer for better Scalafix refactorings☆17Updated 4 years ago
- Companion repository for 'No More Orphans'☆14Updated 2 years ago
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Updated 7 years ago
- This library has been succeeded by cats-tagless☆42Updated 6 years ago
- A case-insensitive string for Scala☆37Updated this week
- An sbt plugin that provides the check task (i.e. compile up to, and including, the typer phase)☆19Updated 7 years ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Updated last year
- Unique Functional Values for Scala☆17Updated 2 months ago
- ☆34Updated this week
- Trickles down updated dependencies across repositories☆9Updated 4 years ago
- WIP - Scalameta powered code generation☆40Updated 6 years ago