typelevel-programming topic

Data migrations through implicit function composition at the type-level

mcgizzle

Typelevel http service definition DSL

tofu-tf

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

DmytroMitin

Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%

rudogma

Model complex data transformation pipelines easily

itkpi

Type calculations at compile time

TypeChecked

Implementation of tuples as a flat heterogeneous array, for FFI

athanclark

TypeChecked