type-level-programming
There are 67 repositories under type-level-programming topic.
ts-essentials/ts-essentials
All essential TypeScript types in one place 🤙
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.
lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
kcsongor/generic-lens
Generically derive traversals, lenses, and prisms.
unional/type-plus
Additional types and types adjusted utilities for TypeScript
DimaSamoz/mezzo
A Haskell library for typesafe music composition
higherkindness/mu-haskell
Mu (μ) is a purely functional framework for building micro services.
gvergnaud/type-level-typescript-workshop
Interactive exercises to get familiar with TypeScript's most advanced features
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.
mieszkosabo/tartak
Tartak is a functional programming language that compiles to TypeScript types.
mieszkosabo/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.
vitorsvieira/dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
i-am-tom/learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
sdleffler/type-operators-rs
A macro for defining type operators in Rust.
kowainik/membrain
🧠 Type-safe memory units
serokell/o-clock
:hourglass: Type-safe time units in Haskell
McMasterU/HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
softwaremill/walk-that-type
A tool for evaluating TypeScript types step by step.
gtestault/primitive-recursive-functions
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
kcsongor/symbols
Symbol manipulation
konn/type-natural
Type-level well-kinded natural numbers.
ThoughtWorksInc/feature.scala
Access Scala language features on the type-level
YBogomolov/talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
danieljharvey/purescript-refined
Purescript refinement types with runtime checking
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
devanshj/prakaar
A type programming language which compiles to and interops with type-level TypeScript
ENvironmentSet/ts-transfromer-typerep
Bring type level information to value level.
danidiaz/red-black-record
Extensible records and variants indexed by a type-level Red-Black tree.
geoffreytools/ts-spec
A small library for testing your types
Veetaha/ts-typedefs
A handy collection of TypeScript plain and generic type definitions and interfaces.
athanclark/dag
A well-typed Directed Acyclic Graph in Haskell
dqbd/ts-math-evaluate
Type-level math expression evaluator for TypeScript.
beefyhalo/dense
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
cmhteixeira/typed-list
A linked list with compile time size.
konn/sized
Sized sequence data-types
danielhenrymantilla/higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.