scala / scala-collection-laws
partially-automatic generation of tests for the entire collections library
☆23Updated last week
Alternatives and similar repositories for scala-collection-laws:
Users that are interested in scala-collection-laws are comparing it to the libraries listed below
- 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 6 months ago
- Bringing Spire to Dotty/Scala 3☆14Updated last year
- Dynamically switch between the JVM target and versions of Scala.js in a Scala project☆25Updated 5 years ago
- Platform independent reflection for Scala☆42Updated 9 months ago
- ☆34Updated 4 months ago
- A knowledge base of Dotty internals and all things related☆20Updated 5 years ago
- Access Scala language features on the type-level☆31Updated 7 months ago
- giter8 template for sbt 0.13.5+ AutoPlugin☆20Updated 3 years ago
- ☆46Updated 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
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Updated last month
- Arteria is a high performance message channel system for IPC and network communication☆12Updated 7 years ago
- ☆26Updated 7 months ago
- Prototype Scala -> GLSL translation, including scaffolding to run + test☆21Updated 4 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Updated 7 years ago
- A SBT Plugin Which Automatically Configures MiMa Based On Your Version Scheme (SemVer, PVP, etc)☆11Updated last year
- ☆17Updated 5 years ago
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Updated 8 years ago
- Lightweight Buffer and Slice abstractions for Scala.☆25Updated 8 months ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Updated last year
- Mixin classes and traits dynamically☆10Updated 7 years ago
- Scripts to automatically fetch Sonatype statistics☆15Updated 2 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Updated 8 years ago
- Typesafe record types for Scala☆21Updated 2 months ago
- Performance focused interpolation☆30Updated last week
- WIP - Scalameta powered code generation☆41Updated 7 years ago
- Repository for general Typelevel information, activity and issues☆19Updated 3 years ago
- tagless final macro☆18Updated 9 years ago
- Scala compiler plugin for turning non exhaustive match warnings into errors☆29Updated 2 years ago