6 Repos
Compile-time type checking for TypeScript source code to ensure type safety before bundling.
Distinct from TypeScript Type Checkers: Existing candidates focused on specific Rust-based engines or code generation rather than general static type checking in a build pipeline.
Explore 6 awesome GitHub repositories matching software engineering & architecture · TypeScript Static Typing. Refine with filters or upvote what's useful.
This project is a pre-configured starter template and development environment for building web applications using TypeScript and React. It provides a project scaffold that automates the initial setup of build configurations and type safety. The environment includes a build pipeline for compiling and bundling React components, alongside a local development server featuring live reloading and integrated linting. It also provides a boilerplate for Progressive Web Apps, incorporating service worker support for offline asset caching. Broad capability areas cover frontend build automation, web app
Provides a pre-configured environment with TypeScript static typing to ensure type safety across the application.
A minimalist project template that bootstraps cross-platform mobile applications with built-in TypeScript support. It functions as a development configuration package that enforces static type checking for mobile applications during the build process. The scaffolding process generates a clean and minimalist starting structure for mobile applications using the standard command line interface. It sets up a mobile development workspace with native rendering pipelines and build tools ready for immediate coding, targeting both iOS and Android platforms.
Configures static type checking and compiler settings for a new application workspace.
This project provides a comprehensive architectural framework and set of standardized patterns for building, securing, and scaling production-ready Node.js applications. It serves as a foundational guide for establishing consistent development workflows, operational observability, and reliable service integration across distributed software systems. The framework distinguishes itself by emphasizing a schema-first approach to API development, ensuring that interface definitions drive the creation of server stubs, client libraries, and type definitions. It promotes a cloud-native posture by int
Converts type-safe source code into standard JavaScript and performs static type checking to ensure compatibility with runtime environments.
RPG-JS is a TypeScript-based framework and HTML5 canvas game engine for building two-dimensional role-playing games and massively multiplayer online worlds that run directly in web browsers. It provides a modular development environment combining strict compile-time type safety across game logic and events with specialized tools for drawing interactive maps, animated sprites, and world entities. The framework supports real-time multiplayer networking by running an authoritative game server with client-side prediction and synchronization to maintain shared online worlds. Its architecture inclu
Enforces strict compile-time types across game logic, events, and configuration to catch errors before runtime.
Meta-typing is a TypeScript metaprogramming toolkit that executes complex algorithms, mathematical operations, and data structure traversals entirely within compile-time type definitions. It functions as a type-level computation engine that evaluates numeric expressions, basic arithmetic, and aggregate calculations through recursive type evaluation and tuple-based data representations during the compilation phase. The library implements a comprehensive collection of advanced algorithms and data structures, including collection manipulation utilities for array slicing, filtering, merging, and
Writes complex algorithms and executes computational logic directly within the TypeScript type system during compilation.
This project is a language server implementation and code editor extension designed to provide intelligence for Svelte components. It functions as a static analysis tool that parses source code to deliver real-time feedback, automated formatting, and code navigation within development environments. The tool distinguishes itself by utilizing a virtual file system mapping that translates component files into modules, allowing standard language tools to process non-standard syntax. It integrates directly with the TypeScript compiler to perform type checking and static analysis across mixed scrip
Integrates with the compiler to perform static type checking across mixed script and markup blocks.