Search *

5 results

hobwekiva/leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

Scala versions: 2.12

gadt variance propositions-as-types dependent-types witnesses subtyping existential-types liskov-subsititution scala leibniz equality liskov-substitution-principle

36 0 0
thoughtworksinc/feature.scala

Access Scala language features on the type-level

Scala versions: 2.11 2.12

Scala.js versions: 0.6

dependent-types scala type-level-programming

31 4
dmytromitin/auxify

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

Scala versions: 2.10 2.11 2.12 2.13

typeclasses scalafix typelevel-programming scalameta metaprogramming dependent-types semanticdb code-generation typeclass extension-methods scala shapeless simulacrum macros

25 0 2
tofu-tf/cherry

Universal Data design and transform language core

Scala versions: 3.x

compiler dependent-types language

6 68 5
dmytromitin/shapeless

Generic programming for Scala

Scala versions: 2.10 2.11 2.12 2.13

typeclasses hlist dependent-types typeclass-derivation macros phantom-types scala polymorphic-functions heterogeneous-lists singleton-types typelevel-programming coproduct generic-programming

0 48 122