All essential TypeScript types in one place 🤙
A library of composable functions for the type-level! Transform your Typ...
Funktional generic type-level programming in Rust: HList, Coproduct, Gen...
Generically derive traversals, lenses, and prisms.
A Haskell library for typesafe music composition
Mu (μ) is a purely functional framework for building micro services.
Nearly zero runtime object allocation powered by scalameta. Value class ...
Trying to get back all the stuff I had in JavaScript.
A macro for defining type operators in Rust.
🧠Type-safe memory units
:hourglass: Type-safe time units in Haskell
Type-safe modelling DSL, symbolic transformation, and code generation fo...
Implementation of game of life and a bunch of primitive recursive functi...
Symbol manipulation
Type-level well-kinded natural numbers.