Typelevel http service definition DSL

Model complex data transformation pipelines easily

Type calculations at compile time

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

Data migrations through implicit function composition at the type-level

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

Implementation of tuples as a flat heterogeneous array, for FFI

Utility library that helps expressing invariants in types

Sensible, performant primitives for writing semantic TypeScript code

Implementation of differential privacy in Haskell

Fast typelevel arithmetic 🧮 using symbols

Backend architecture representation in TLP

Exploring type-level programming in Rust

Shapeless playground

Inductive proofs in Rust

mrd-parser shapeless and scodec test implementation

type-level combinators for quickcheck instances

experiment FP in java

Typelevel combinators for quickcheck, in purescript