techieagnostic / ezno Goto Github PK

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance.

Try the checker in Oxc today!

What Ezno is

• A type checker for JavaScript, usable as a library or with optional compiler infrastructure (parser, CLI, LSP, etc)
• Fully typed programs, guaranteeing type safety (as long as definitions are sound)
• Types aimed at soundness and tracing for better static analysis
• A imperative type system, with event tracing and evaluating function side effects. Equivalent to an interpreter, but with types rather than values.
• A collection of experiments of types
• Written in Rust

What Ezno is not

• eNZo, Z goes before the N (pronounce as 'Fresno' without the 'fr') 😀
• 1:1 / parity with TSC, it has different behaviors but should work in existing projects using TSC (check out stc that is aimed at 1:1)
• A binary executable generator. It compiles JavaScript (or TS/Ezno superset) to JavaScript. The process is compiler rather than transpiler. Although you could use its event IR to generate a lower level format
• Usable, still a long way to go to usability

Read some more detailed posts

• Introducing Ezno
• Ezno '23

This project is a workspace consisting of a few crates:

Crate	Lines Of Code	Contains
checker		Stores for types and contexts, type checking logic and optional synthesis over the parser AST
parser		AST definitions, logic for parsing, AST to string and visiting

Also checkout oxc_type_synthesis, a crate which allows using the type checker through oxc!

This is an experimental compiler. If you are looking for a stable compiler, Ezno is not the right choice at the moment.

Check out issues and comment on discussions! Read CONTRIBUTING.md for more information.