# ronami/HypeScript

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

Repository: https://github.com/ronami/HypeScript
Canonical: https://ross.abutalabs.com/products/hypescript
Language: TypeScript
License: MIT
License Family: permissive
Topics: example, functional-programming, learning, parser, recursion, static-code-analysis, type-system, typescript
Last push: 2025-02-07T13:37:39+00:00

## Health v2 (maintenance only)
Score: 34/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 5, release rhythm 35, longevity 100
- inputs: {"age_days": 1528, "days_push": 572, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1965, forks 23 (observed 2026-08-28T04:05:59.841375+00:00)

## What it is
HypeScript is a simplified reimplementation of TypeScript's type system written entirely in TypeScript type annotations, with no runtime code. You pass TypeScript source code as a string to the TypeCheck generic and receive type errors back.

## Use cases
- learn how TypeScript's type system works internally
- explore type-level programming in TypeScript
- study recursive type-level parsing techniques
- see a type checker implemented purely in types
- understand static type analysis concepts

## When to choose
- you want to learn advanced TypeScript type-level programming
- you need a readable, simplified model of how type checking works
- you're studying parsers or interpreters implemented in the type system

## When to avoid
- you need a production-grade type checker for real projects
- you want runtime type validation or a usable library API
- you need full TypeScript language feature coverage

## Facets
- artifact type: learning-resource
- maturity: active
- function: type-system, parser, interpreter
- domain: programming-languages, parsers, education, developer-tools
- platform: cross-platform
- tags: typescript-types, type-level-programming, type-checker, no-runtime-code, functional-programming, typescript, nodejs

## Member repositories
- ronami/HypeScript (main) score 34

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:59.841375+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T03:05:29.269066+00:00, confidence not recorded.
  - readme: https://github.com/ronami/HypeScript (fetched 2026-08-28T04:05:59.841375+00:00, sha e573c922efcd)
- Data as of 2026-08-30T08:39:29.467469+00:00.