Tartak is a functional programming language that compiles to TypeScript types.
-
Updated
Aug 4, 2024 - TypeScript
#
type-level
Here are 7 public repositories matching this topic...
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.
node typescript schema validation tree-shaking type-level type-level-programming tree-shakeable zod valibot
-
Updated
Apr 22, 2024 - TypeScript
A tool for evaluating TypeScript types step by step.
-
Updated
Dec 2, 2023 - TypeScript
A type programming language which compiles to and interops with type-level TypeScript
-
Updated
Sep 9, 2022 - TypeScript
A collection of useful operators to make type-level programming in TypeScript easier
-
Updated
Feb 25, 2019 - TypeScript
type-level definition of an automata to check grammar and sentences meaning
-
Updated
Jul 19, 2024 - TypeScript
Learn advanced types of typescript with type-challenges
-
Updated
Jun 23, 2022 - TypeScript
Improve this page
Add a description, image, and links to the type-level topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-level topic, visit your repo's landing page and select "manage topics."