type-level-programming
There are 6 repositories under type-level-programming topic.
ts-essentials / ts-essentials
All essential TypeScript types in one place 🤙
Language:TypeScript 4011- hotscript
gvergnaud / hotscript
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
Language:TypeScript 3647 typedgrammar / typed-japanese
🌸 Learn Japanese grammar with TypeScript
Language:TypeScript 1893lloydmeta / frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language:Rust 1394kcsongor / generic-lens
Generically derive traversals, lenses, and prisms.
Language:Haskell 440- Language:TypeScript 404
- Language:Haskell 364
higherkindness / mu-haskell
Mu (μ) is a purely functional framework for building micro services.
Language:Haskell 335- type-level-typescript-workshop
Interactive exercises to get familiar with TypeScript's most advanced features
Language:TypeScript 243 geoffreytools / free-types
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.
Language:TypeScript 165mieszkosabo / tartak
Tartak is a functional programming language that compiles to TypeScript types.
Language:TypeScript 118A 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.
Language:TypeScript 94vitorsvieira / dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Language:Scala 79Snowflyt / hkt-core
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
Language:TypeScript 71i-am-tom / learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
Language:Haskell 69sdleffler / type-operators-rs
A macro for defining type operators in Rust.
Language:Rust 65- Language:Haskell 61
- Language:Haskell 50
softwaremill / walk-that-type
A tool for evaluating TypeScript types step by step.
Language:TypeScript 45- ts-math-evaluate
dqbd / ts-math-evaluate
Type-level math expression evaluator for TypeScript.
Language:TeX 43 McMasterU / HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Language:Haskell 43gtestault / primitive-recursive-functions
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
Language:Rust 40- Language:Haskell 37
konn / type-natural
Type-level well-kinded natural numbers.
Language:Haskell 35tharropoulos / typesense-ts
A fully type-safe Typesense client for type-heads
Language:TypeScript 32ThoughtWorksInc / feature.scala
Access Scala language features on the type-level
Language:Scala 31YBogomolov / talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
Language:TypeScript 29Extract or modify pieces of arbitrarily nested types with type lenses
Language:TypeScript 27danieljharvey / purescript-refined
Purescript refinement types with runtime checking
Language:PureScript 25devanshj / prakaar
A type programming language which compiles to and interops with type-level TypeScript
Language:TypeScript 22ENvironmentSet / ts-transfromer-typerep
Bring type level information to value level.
Language:TypeScript 19danidiaz / red-black-record
Extensible records and variants indexed by a type-level Red-Black tree.
Language:Haskell 18A small library for testing your types
Language:TypeScript 17athanclark / dag
A well-typed Directed Acyclic Graph in Haskell
Language:Haskell 14danielhenrymantilla / higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
Language:Rust 14Veetaha / ts-typedefs
A handy collection of TypeScript plain and generic type definitions and interfaces.
Language:TypeScript 13
