Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Mu (μ) is a purely functional framework for building micro services.
A simple Purescript JSON library that uses types automatically
Tartak is a functional programming language that compiles to TypeScript types.
A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of Proxies and type-level programming.
A macro for defining type operators in Rust.
🎯 IO with Exceptions tracked on the type-level
💄🐞 Combinators for writing pretty type errors easily
A tool for evaluating TypeScript types step by step.
Type-level well-kinded natural numbers.
A type programming language which compiles to and interops with type-level TypeScript
A library for PureScript 0.12 using Record-Format to parse urls with a template.
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
Cool type-safe Symbol query parameterized helper for Node-SQLite3
A collection of useful operators to make type-level programming in TypeScript easier
A collection of type-level operators
Type equality check returning a Boolean kind. Useful for type-level programming.
Macro for generating pseudo-enums for type-level programming.
Add a description, image, and links to the type-level topic page so that developers can more easily learn about it.
To associate your repository with the type-level topic, visit your repo's landing page and select "manage topics."