type-level-programming topic

All essential TypeScript types in one place 🤙

ts-essentials

Generically derive traversals, lenses, and prisms.

kcsongor

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

lloydmeta

A Haskell library for typesafe music composition

DimaSamoz

Mu (μ) is a purely functional framework for building micro services.

higherkindness

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

vitorsvieira

A macro for defining type operators in Rust.

sdleffler

Trying to get back all the stuff I had in JavaScript.

i-am-tom

🧠 Type-safe memory units

kowainik

Implementation of game of life and a bunch of primitive recursive functions at the type level in rust

gtestault