kaleidawave/ezno

Health v2 · maintenance only

Adoption not part of the score

2736 stars · 49 forks observed · 2026-10-19

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

Ezno is an experimental TypeScript/JavaScript type checker and compiler written in Rust, usable as a CLI or library. It features a sound imperative type system that tracks side effects and evaluates control flow with types rather than values, aiming to guarantee no runtime TypeErrors.

Use cases

• type check a JavaScript or TypeScript project from the command line
• catch runtime TypeErrors statically before they happen
• experiment with an imperative type system that tracks function side effects
• use a fast Rust-based alternative to TSC for checking code
• explore dependent typing and constant evaluation in JavaScript
• integrate a type checker as a Rust library into other tooling

When to choose

• you want to experiment with a novel, soundness-focused type checker for JavaScript
• you need a fast, small type-checking CLI written in Rust
• you are researching side-effect tracking and dependent types in dynamic languages
• you want to contribute to an open-source compiler project with good first issues

When to avoid

• you need full TypeScript feature parity for checking an existing production codebase
• you need a mature, stable checker for large codebases today
• you need a compiler that emits lower-level output rather than JavaScript
• you require an LSP or editor integration right now

Facets

cli-tool · maturity experimental

compiler type-system linter parser cli programming-languages compilers developer-tools web-development cli rust cross-platform typescript javascript type-checker static-analysis soundness dependent-types side-effect-analysis

Member repositories

For agents

markdown · JSON · MCP: product_card(name="kaleidawave/ezno")