type-level topic
frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
mu-haskell
Mu (μ) is a purely functional framework for building micro services.
purescript-simple-json
A simple Purescript JSON library that uses types automatically
type-operators-rs
A macro for defining type operators in Rust.
eio
🎯 IO with Exceptions tracked on the type-level
type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
prakaar
A type programming language which compiles to and interops with type-level TypeScript
walk-that-type
A tool for evaluating TypeScript types step by step.
type-natural
Type-level well-kinded natural numbers.
correttore
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 Pro...