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 3817- 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 3539 lloydmeta / frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language:Rust 1297kcsongor / generic-lens
Generically derive traversals, lenses, and prisms.
Language:Haskell 439- Language:TypeScript 381
- Language:Haskell 358
higherkindness / mu-haskell
Mu (μ) is a purely functional framework for building micro services.
Language:Haskell 333- type-level-typescript-workshop
Interactive exercises to get familiar with TypeScript's most advanced features
Language:TypeScript 234 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 157mieszkosabo / tartak
Tartak is a functional programming language that compiles to TypeScript types.
Language:TypeScript 108A 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 93vitorsvieira / dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Language:Scala 80i-am-tom / learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
Language:Haskell 70sdleffler / type-operators-rs
A macro for defining type operators in Rust.
Language:Rust 63- Language:Haskell 62
- Language:Haskell 49
McMasterU / HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Language:Haskell 42softwaremill / walk-that-type
A tool for evaluating TypeScript types step by step.
Language:TypeScript 40gtestault / primitive-recursive-functions
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
Language:Rust 38- Language:Haskell 36
konn / type-natural
Type-level well-kinded natural numbers.
Language:Haskell 33ThoughtWorksInc / feature.scala
Access Scala language features on the type-level
Language:Scala 30YBogomolov / talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
Language:TypeScript 29danieljharvey / purescript-refined
Purescript refinement types with runtime checking
Language:PureScript 26Extract or modify pieces of arbitrarily nested types with type lenses
Language:TypeScript 26devanshj / prakaar
A type programming language which compiles to and interops with type-level TypeScript
Language:TypeScript 20ENvironmentSet / 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 17Veetaha / ts-typedefs
A handy collection of TypeScript plain and generic type definitions and interfaces.
Language:TypeScript 13athanclark / dag
A well-typed Directed Acyclic Graph in Haskell
Language:Haskell 12- ts-math-evaluate
dqbd / ts-math-evaluate
Type-level math expression evaluator for TypeScript.
Language:TeX 12 - Language:Scala 10
- typed-list
cmhteixeira / typed-list
A linked list with compile time size.
Language:Scala 10 - Language:Haskell 10
danielhenrymantilla / higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
Language:Rust 9
