13 results found Sort:

ts-essentials
ts-essentials ts-essentials
122
3.8k
mit
14
All essential TypeScript types in one place 🤙
types toolbox essentials typescript type-level-programming
Created 2018-09-15
512 commits to master branch, last one about a month ago
gvergnaud
hotscript gvergnaud
57
3.6k
mit
21
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
310 commits to main branch, last one about a month ago
lloydmeta
frunk lloydmeta
58
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
313 commits to master branch, last one 2 months ago
kcsongor
generic-lens kcsongor
55
439
unknown
21
Generically derive traversals, lenses, and prisms.
lenses optics generics traversals type-level-programming
Created 2016-09-05
320 commits to master branch, last one about a month ago
unional
type-plus unional
12
382
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,403 commits to main branch, last one 6 days 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
This repository has been archived (exclude archived)
Created 2019-09-27
313 commits to master branch, last one 2 years ago
gvergnaud
type-level-typescript-workshop gvergnaud
23
237
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 2 years ago
geoffreytools
free-types geoffreytools
1
157
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
tartak mieszkosabo
0
110
unknown
2
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 5 months ago
mieszkosabo
correttore mieszkosabo
5
93
unknown
5
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 9 months ago
serokell
o-clock serokell
6
49
mpl-2.0
21
:hourglass: Type-safe time units in Haskell
time haskell type-safety rational-numbers type-level-programming
Created 2018-01-03
241 commits to master branch, last one 7 days 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,285 commits to master branch, last one 2 months ago
softwaremill
walk-that-type softwaremill
0
42
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 about a year ago