{"repo":"kaleidawave/ezno","free":true,"listed":false,"github":"https://github.com/kaleidawave/ezno","clone":"git clone https://github.com/kaleidawave/ezno.git","description":"A correct and efficient TypeScript type checker and compiler with additional experiments","language":"Rust","stars":2733,"topics":["compiler","javascript","typescript","typechecker"],"license":"MIT","category":"analytics","readme_excerpt":"A fast and correct TypeScript type checker and compiler with additional experiments [!IMPORTANT] Ezno is in active development and does not currently support enough features to check existing projects (see blocking issues). Check out the getting started guide for experimenting with what it currently supports. What Ezno is: - A type checker for JavaScript usable through a CLI (with a LSP also in the works) - Checks programs with guaranteed type safety (no runtime TypeError s) ( as long as definitions are sound ) - Types aimed at soundness and tracing for better static analysis - A imperative type system that tracks and evaluates the side effects of functions and control flow structures. It is similar to an interpreter, but acts with types instead of values and does not run IO, side effects, etc. - A collection of experiments of types. Many are being worked out and are in the prototype stage. Some of the new behaviors benefit JavaScript specifically and others could be applied to other languages - Written in Rust - Fast and Small - Open source! You can help build Ezno! - A challenge to the status quo of type checking, optimisations and compilation through deeper static analysis beyond syntax analysis! What Ezno is not - eNZo, the Z is in front of the N (pronounce as 'Fresno' without the 'fr') 😀 - Be on parity with TSC or 1:1, it has some different behaviors but should work in existing projects using TSC. You can see a full comparison of emitted errors and warnings compared wit","default_branch":null,"files":null,"tree":[],"storefront":"/r/kaleidawave","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/kaleidawave/ezno/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}