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

Sensible, performant primitives for writing semantic TypeScript code

Utility library that helps expressing invariants in types

Implementation of differential privacy in Haskell

TypeScript schema compiler, rewriter

Fast typelevel arithmetic 🧮 using symbols

Backend architecture representation in TLP

A library for programming case branching in Haskell

Inductive proofs in Rust

Exploring type-level programming in Rust

Lightweight Scala 3 library for materializing types into values at compile time.

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Shapeless playground