All essential TypeScript types in one place 🤙
-
Updated
Jun 3, 2026 - TypeScript
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
type-level-programmingHere are 85 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
🌸 Learn Japanese grammar with TypeScript
nlp typescript dsl japanese grammar language-learning computational-linguistics type-system type-level-programming language-verification typescript-types japanese-grammar
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
rust generic fp generic-programming lenses hlist type-level type-level-programming validated labelled-generic coproduct datatype-generic-programming
Generically derive traversals, lenses, and prisms.
Additional types and types adjusted utilities for TypeScript
A Haskell library for typesafe music composition
haskell dependent-types midi music-composition haskell-library music-notation type-level-programming
Mu (μ) is a purely functional framework for building micro services.
graphql monads haskell avro protocol-buffers grpc rpc hacktoberfest type-level type-level-programming mu defines-schemas mu-haskell mu-graphql
Interactive exercises to get familiar with TypeScript's most advanced features
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
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.
node typescript schema validation tree-shaking type-level type-level-programming tree-shakeable zod valibot
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
scala ddd typelevel metaprogramming macros scala-macros type-safety type-checking scalameta ddd-patterns type-level-programming newtype funcional-programming
Trying to get back all the stuff I had in JavaScript.
A macro for defining type operators in Rust.
A fully type-safe Typesense client for type-heads
nodejs search search-engine typescript typescript-library typescript-definitions search-interface type-level-programming typesafety typesense typesense-js typesafe-api typesafe-search
⌛ Type-safe time units in Haskell
A tool for evaluating TypeScript types step by step.
Add this topic to your repoTo associate your repository with the type-level-programming topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |