Search *

Login

4 results

Sorting

Contributing Search

Filters

Target

Js (1)
Jvm (4)

Scala

2.10 (2)
2.11 (3)
2.12 (4)
2.13 (2)

Scala.js

0.6 (1)

Topics

thoughtworksinc/feature.scala

Access Scala language features on the type-level

Scala (JVM): 2.11 2.12

Scala.js: 0.6

scala dependent-types type-level-programming

28 3 4
alexknvl/leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

Scala (JVM): 2.12

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

24 4 2
dmytromitin/auxify

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

Scala (JVM): 2.10 2.11 2.12 2.13

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

21 2 2
dmytromitin/shapeless

Generic programming for Scala

Scala (JVM): 2.10 2.11 2.12 2.13

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

0 0 115

1 (current)

Scaladex
FAQs
Report an Issue

Follow us: