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,247Updated 3 years ago
• gigobyte / purify
  Functional programming library for TypeScript - https://gigobyte.github.io/purify/
  ☆1,551Updated this week
• marcj / TypeRunner
  High-performance TypeScript compiler
  ☆2,625Updated last month
• runtypes / runtypes
  Runtime validation for static types
  ☆2,651Updated 2 months ago
• ghoullier / awesome-template-literal-types
  Curated list of awesome Template Literal Types examples
  ☆1,197Updated last month
• tc39 / proposal-record-tuple
  ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!
  ☆2,547Updated last year
• mobily / ts-belt
  🔧 Fast, modern, and practical utility library for FP in TypeScript.
  ☆1,149Updated 10 months ago
• JSMonk / hegel
  An advanced static type checker
  ☆2,097Updated last year
• nadeesha / ts-prune
  Find unused exports in a typescript project. 🛀
  ☆2,052Updated last year
• 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,593Updated 3 months ago
• tc39 / proposal-iterator-helpers
  Methods for working with iterators in ECMAScript
  ☆1,339Updated 6 months ago
• adelsz / pgtyped
  pgTyped - Typesafe SQL in TypeScript
  ☆3,073Updated this week
• getify / monio
  The most powerful IO monad implementation in JS, possibly in any language!
  ☆1,072Updated this week
• millsp / ts-toolbelt
  👷 TypeScript's largest type utility library
  ☆6,913Updated 2 years ago
• dsherret / ts-morph
  TypeScript Compiler API wrapper for static analysis and programmatic code changes.
  ☆5,316Updated 2 months ago
• deepkit / deepkit-framework
  A new full-featured and high-performance TypeScript framework
  ☆3,319Updated last week
• ts-essentials / ts-essentials
  All essential TypeScript types in one place 🤙
  ☆3,892Updated 3 months ago
• jeffijoe / typesync
  Install missing TypeScript typings for dependencies in your package.json.
  ☆1,552Updated this week
• tsdjs / tsd
  Check TypeScript type definitions
  ☆2,439Updated this week
• andnp / SimplyTyped
  yet another Typescript type library for advanced types
  ☆737Updated 3 years ago
• RobinCsl / awesome-js-tooling-not-in-js
  A curated list of JavaScript tooling not written in JavaScript
  ☆755Updated last year
• lukeed / uvu
  uvu is an extremely fast and lightweight test runner for Node.js and the browser
  ☆2,990Updated 7 months ago
• dubzzz / fast-check
  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
  ☆4,479Updated this week
• gcanti / io-ts
  Runtime type system for IO decoding/encoding
  ☆6,761Updated 4 months ago
• remeda / remeda
  A utility library for JavaScript and TypeScript.
  ☆4,845Updated last week
• akutruff / typescript-needs-types
  TypeScript please give us types.
  ☆412Updated last year
• tc39 / proposal-do-expressions
  Proposal for `do` expressions
  ☆1,149Updated 4 years ago
• gcanti / monocle-ts
  Functional optics: a (partial) porting of Scala monocle
  ☆1,059Updated 2 years ago
• akheron / optics-ts
  Type-safe, ergonomic, polymorphic optics for TypeScript
  ☆844Updated 2 months ago