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 3773- 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 3520 lloydmeta / frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language:Rust 1287kcsongor / generic-lens
Generically derive traversals, lenses, and prisms.
Language:Haskell 438- Language:TypeScript 379
- Language:Haskell 356
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 231 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 154mieszkosabo / 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 Proxies and type-level programming.
Language:TypeScript 92vitorsvieira / 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
Tartak is a functional programming language that compiles to TypeScript types.
Language:TypeScript 52- 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 31YBogomolov / 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
cyril-allignol / ocaml-dimensions
Type-level dimensional analysis for OCaml
Language:OCaml 9
