JSMonk/hegel

Health v2 · maintenance only

Flags: no_releases archived

Adoption not part of the score

2082 stars · 57 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Hegel is an advanced static type checker for JavaScript with optional type annotations, strong soundness checks, powerful type inference, and typed errors. It uses standard .d.ts files for library typings and requires no new language or special file extensions.

Use cases

• check javascript code for type errors before runtime
• add optional type annotations to plain javascript
• catch runtime typeerrors statically
• infer types automatically without annotations
• annotate which errors a function can throw
• use existing d.ts typings with a javascript type checker

When to choose

• you want a sound type system that guarantees no runtime TypeErrors, unlike TypeScript
• you want to type plain JavaScript without new syntax, file extensions, or a compile step
• you need strong type inference and typed errors in JavaScript

When to avoid

• you need an actively maintained tool - the project is officially closed and no longer developed
• you need ecosystem maturity, editor integrations, or community support comparable to TypeScript or Flow
• you want a typed superset language that compiles to JavaScript

Facets

library · maturity abandoned

type-system linter developer-tools programming-languages developer-tools web-development cli cross-platform static-type-checker javascript type-inference typed-errors sound-type-system discontinued nodejs

Member repositories

For agents

markdown · JSON · MCP: product_card(name="JSMonk/hegel")