Alternatives and similar repositories for meta-typing:

Users that are interested in meta-typing are comparing it to the libraries listed below

• ronami / HypeScript
  🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
  ☆1,951Updated 2 months ago
• codemix / ts-sql
  A SQL database implemented purely in TypeScript type annotations.
  ☆3,256Updated 3 years ago
• gvergnaud / hotscript
  A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already kno…
  ☆3,592Updated 4 months ago
• andnp / SimplyTyped
  yet another Typescript type library for advanced types
  ☆739Updated 3 years ago
• ghoullier / awesome-template-literal-types
  Curated list of awesome Template Literal Types examples
  ☆1,200Updated 2 months ago
• gigobyte / purify
  Functional programming library for TypeScript - https://gigobyte.github.io/purify/
  ☆1,556Updated 3 weeks ago
• plantain-00 / type-coverage
  A CLI tool to check type coverage for typescript code
  ☆1,286Updated 6 months ago
• millsp / ts-toolbelt
  👷 TypeScript's largest type utility library
  ☆6,939Updated 2 years ago
• JSMonk / hegel
  An advanced static type checker
  ☆2,096Updated last year
• nadeesha / ts-prune
  Find unused exports in a typescript project. 🛀
  ☆2,053Updated last year
• tsdjs / tsd
  Check TypeScript type definitions
  ☆2,451Updated 3 weeks ago
• marcj / TypeRunner
  High-performance TypeScript compiler
  ☆2,627Updated 2 months ago
• sandersn / mini-typescript
  A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
  ☆1,166Updated 8 months ago
• ts-essentials / ts-essentials
  All essential TypeScript types in one place 🤙
  ☆3,910Updated last week
• runtypes / runtypes
  Runtime validation for static types
  ☆2,650Updated 3 months ago
• enricopolanski / functional-programming
  Introduction to Functional Programming using TypeScript and fp-ts.
  ☆1,265Updated last month
• gcanti / io-ts
  Runtime type system for IO decoding/encoding
  ☆6,770Updated 4 months ago
• sinclairzx81 / typebox
  Json Schema Type Builder with Static Type Resolution for TypeScript
  ☆5,614Updated last month
• adelsz / pgtyped
  pgTyped - Typesafe SQL in TypeScript
  ☆3,083Updated this week
• gcanti / monocle-ts
  Functional optics: a (partial) porting of Scala monocle
  ☆1,064Updated 2 years ago
• mobily / ts-belt
  🔧 Fast, modern, and practical utility library for FP in TypeScript.
  ☆1,156Updated 11 months ago
• itsdouges / typescript-transformer-handbook
  📘 A comprehensive handbook on how to create transformers for TypeScript with code examples
  ☆989Updated 2 months ago
• deepkit / deepkit-framework
  A new full-featured and high-performance TypeScript framework
  ☆3,335Updated last week
• moltar / typescript-runtime-type-benchmarks
  📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support
  ☆744Updated this week
• microsoft / TypeScript-Compiler-Notes
  A repo containing notes about the TypeScript Compiler codebase
  ☆663Updated last year
• akutruff / typescript-needs-types
  TypeScript please give us types.
  ☆413Updated last year
• eslint-functional / eslint-plugin-functional
  ESLint rules to disable mutation and promote fp in JavaScript and TypeScript.
  ☆908Updated this week
• getify / monio
  The most powerful IO monad implementation in JS, possibly in any language!
  ☆1,074Updated 3 weeks ago
• tc39 / proposal-record-tuple
  ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!
  ☆2,546Updated 3 weeks ago
• gcanti / fp-ts
  Functional programming in TypeScript
  ☆11,109Updated 2 weeks ago