13 results found Sort:

ts-essentials
ts-essentials ts-essentials
118
3.7k
mit
14
All essential TypeScript types in one place 🤙
types toolbox essentials typescript type-level-programming
Created 2018-09-15
491 commits to master branch, last one about a month ago
gvergnaud
hotscript gvergnaud
59
3.5k
unknown
22
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
typescript type-level-programming
Created 2023-02-12
309 commits to main branch, last one about a year ago
lloydmeta
frunk lloydmeta
56
1.3k
mit
17
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
fp rust hlist lenses generic coproduct validated type-level labelled-generic generic-programming type-level-programming datatype-generic-programming
Created 2016-10-17
312 commits to master branch, last one 27 days ago
kcsongor
generic-lens kcsongor
53
437
unknown
20
Generically derive traversals, lenses, and prisms.
lenses optics generics traversals type-level-programming
Created 2016-09-05
319 commits to master branch, last one 5 months ago
unional
type-plus unional
11
375
mit
4
Additional types and types adjusted utilities for TypeScript
types utilities typescript npm-package type-system type-level-programming typescript-definitions
Created 2018-12-24
1,314 commits to main branch, last one a day ago
higherkindness
mu-haskell higherkindness
19
333
apache-2.0
13
Mu (μ) is a purely functional framework for building micro services.
mu rpc avro grpc monads graphql haskell mu-graphql mu-haskell type-level hacktoberfest defines-schemas protocol-buffers type-level-programming
Created 2019-09-27
313 commits to master branch, last one about a year ago
gvergnaud
type-level-typescript-workshop gvergnaud
23
229
unknown
5
Interactive exercises to get familiar with TypeScript's most advanced features
types course tutorial workshop typescript type-level-programming
Created 2022-02-18
174 commits to main branch, last one about a year ago
geoffreytools
free-types geoffreytools
1
152
isc
3
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.
hkt typescript higher-kinded-types type-level-programming
Created 2022-10-23
117 commits to public branch, last one about a year ago
mieszkosabo
correttore mieszkosabo
5
91
unknown
4
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 Pro...
zod node schema valibot type-level typescript validation tree-shaking tree-shakeable type-level-programming
Created 2023-08-16
37 commits to main branch, last one 5 months ago
serokell
o-clock serokell
6
49
mpl-2.0
23
:hourglass: Type-safe time units in Haskell
time haskell type-safety rational-numbers type-level-programming
Created 2018-01-03
231 commits to master branch, last one 8 months ago
McMasterU
HashedExpression McMasterU
3
42
mit
11
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
edsl ipopt lbfgs haskell lbfgs-b solvers symbolic type-safety optimization machine-learning symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation
Created 2020-06-02
1,283 commits to master branch, last one about a year ago
mieszkosabo
tartak mieszkosabo
0
41
unknown
1
Tartak is a functional programming language that compiles to TypeScript types.
types type-level typescript programing-language functional-programming type-level-programming
Created 2024-04-09
37 commits to master branch, last one about a month ago
softwaremill
walk-that-type softwaremill
0
39
unknown
4
A tool for evaluating TypeScript types step by step.
tool types learning type-level typescript vizualisation type-level-programming
Created 2023-07-05
62 commits to main branch, last one 10 months ago