type-level-programming
Here are 73 public repositories matching this topic...
Language:All
Sort:Most stars
All essential TypeScript types in one place 🤙
- Updated
Jun 16, 2025 - TypeScript
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
- Updated
Dec 28, 2024 - TypeScript
🌸 Learn Japanese grammar with TypeScript
- Updated
Mar 29, 2025 - TypeScript
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
- Updated
Jun 14, 2025 - Rust
Generically derive traversals, lenses, and prisms.
- Updated
Apr 7, 2025 - Haskell
Additional types and types adjusted utilities for TypeScript
- Updated
Jul 17, 2025 - TypeScript
A Haskell library for typesafe music composition
- Updated
Mar 3, 2019 - Haskell
Mu (μ) is a purely functional framework for building micro services.
- Updated
Aug 1, 2024 - Haskell
Interactive exercises to get familiar with TypeScript's most advanced features
- Updated
Jan 19, 2023 - TypeScript
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.
- Updated
Aug 16, 2023 - TypeScript
Tartak is a functional programming language that compiles to TypeScript types.
- Updated
Aug 4, 2024 - TypeScript
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.
- Updated
Apr 22, 2024 - TypeScript
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
- Updated
Oct 19, 2017 - Scala
Trying to get back all the stuff I had in JavaScript.
- Updated
Oct 7, 2018 - Haskell
A macro for defining type operators in Rust.
- Updated
Mar 16, 2017 - Rust
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
- Updated
Apr 27, 2025 - TypeScript
⌛ Type-safe time units in Haskell
- Updated
Jan 22, 2025 - Haskell
A tool for evaluating TypeScript types step by step.
- Updated
Dec 2, 2023 - TypeScript
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
- Updated
Nov 11, 2024 - Haskell
Improve this page
Add a description, image, and links to thetype-level-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetype-level-programming topic, visit your repo's landing page and select "manage topics."