dudykr/stcArchived
Stc
stc is a TypeScript type checker implemented entirely in Rust, designed to validate type correctness in TypeScript source code with native performance and memory safety. It operates as a no-emitting type validator, meaning it checks types only and does not produce JavaScript output, reducing overhead compared to a full compiler. The checker is built around a zero-false-positive design, reporting only errors that are provably certain from the type system, prioritizing correctness over speculative warnings.
The tool distinguishes itself through parallel file processing, analyzing source files concurrently across multiple CPU threads to minimize total check time. It also features an incremental compilation cache that stores pre-compiled type definitions on disk, allowing repeated type-checking operations to skip re-analysis of unchanged dependencies. Type definitions are loaded and processed according to TypeScript's module system semantics, including namespace-aware resolution of global and namespace-based declarations.
The checker performs direct AST traversal for type inference and error detection, operating on the parsed abstract syntax tree without intermediate representations. It provides type checking and error reporting for TypeScript code, functioning as a linting tool that reports type errors without false positives. The project's documentation and installation surface are available through its repository, which includes setup instructions for integrating the Rust-based type checker into development workflows.
Features
- TypeScript Validators - Validates type correctness in TypeScript source code using a fast Rust-based type checker.
- TypeScript Type Checkers - Validates TypeScript type correctness with a Rust-based engine for native performance and memory safety.
- No-Emitting Validators - Validates types only without producing JavaScript output, reducing overhead compared to a full compiler.
- Rust-Implemented Tooling - Implements TypeScript type checking entirely in Rust for native performance and memory safety.
- Type Checking - Infers types and reports errors in TypeScript code without producing false positives.
- No-Emitting Validators - Validates type correctness without producing JavaScript output, reducing overhead.
- Provably Certain Filters - Reports only errors that are provably certain from the type system, prioritizing correctness over speculative warnings.
- Rust Implementations - Validates TypeScript types with a Rust engine for performance and minimal false positives.
- Rust Implementations - Implements TypeScript type checking entirely in Rust for native performance and memory safety.
- TypeScript Type Checking Instruction - Checks TypeScript code for type errors quickly using a Rust-based type checker.
- Fast Checkers - Checks TypeScript code for type errors quickly using a Rust-based type checker.
- Provably Certain Checkers - Reports only provably certain type errors in TypeScript code, prioritizing correctness over speculative warnings.
- Rust-Based Type Checkers - Validates type correctness in TypeScript source code using a fast Rust-based implementation.
- Zero-False-Positive Checkers - Reports only provably certain type errors, prioritizing correctness over speculative warnings.
- Source File Processors - Analyzes TypeScript source files concurrently across multiple CPU threads to minimize total check time.
- TypeScript Definition Loaders - Loads and processes typing packages that use namespaces and globals.
- Type Definition Caches - Caches pre-compiled type definitions on disk to speed up repeated type-checking operations.
- Source File Processors - Analyzes source files concurrently across multiple CPU threads to minimize total check time.
- Type Definition Caches - Caches pre-compiled type definitions to speed up repeated type-checking operations.
- TypeScript Module Resolvers - Resolves global and namespace-based type declarations according to TypeScript's module system semantics.
- TypeScript Type Definition Loaders - Loads and processes typing packages that use namespaces and globals for type checking.
- Zero-False-Positive Linters - Reports type errors in TypeScript code without producing false positives.
Star history
How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
