5 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    iltotore/iron   2.6.0

    Strong type constraints for Scala

    Scala versions: 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.4
    466 26
  2. project logo

    rudogma/scala-supertagged   1.5

    Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.

    Scala versions: 2.13 2.12 2.11
    Scala.js versions: 0.6
    95 3
  3. project logo

    djspiewak/skolems   0.2.1

    A microlibrary for Scala encodings of higher-rank quantifiers

    Scala versions: 2.13 2.12 2.11
    59 2
  4. project logo

    dmytromitin/shapeless-circe-patched-type-keytag   0.14.3

    https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala

    Scala versions: 2.13
    0 1
  5. project logo

    throup/couldbe   0.3.0

    couldbe is a Scala library for specifying optional Given instances (previously known as implicits).

    Scala versions: 3.x 2.13
    0 3