72 dépôts
Implementation of static analysis to verify type consistency during compilation.
Distinct from TypeScript Type Definitions: Distinct from general type definitions by focusing on the active checking process during the build phase
Explore 72 awesome GitHub repositories matching software engineering & architecture · Static Type Checking. Refine with filters or upvote what's useful.
This project is a TypeScript desktop boilerplate and application template that combines Electron and React for building cross-platform desktop applications. It provides a structural foundation and framework for creating native system applications that bundle web technologies into distributable operating system packages. The project distinguishes itself by providing a hot-reloading desktop environment. This development setup applies code changes instantly to the user interface without requiring manual application restarts, preserving the current interface state through hot module replacement.
Incorporates strict compile-time type checking to ensure consistency and catch errors before execution.
Vue-pure-admin is a Vue 3 admin dashboard template and frontend boilerplate designed for developing backend management tools. It functions as a TypeScript web application scaffold that integrates Vite for the build pipeline and Element Plus for the UI framework. The project provides a responsive admin interface that adapts to both desktop and mobile screens. It is structured as an enterprise frontend architecture to support the creation of scalable professional web applications. The system includes capabilities for bootstrapping backend management systems, optimizing bundle sizes, and deploy
Employs TypeScript to provide compile-time type checking and ensure data consistency.
Vue Manage System is a type-safe administrative dashboard framework built with Vue 3 and Element Plus. It serves as a management template for backend systems, integrating role-based access control to restrict pages and actions based on assigned user permissions. The project distinguishes itself through a comprehensive set of administrative tools, including a data visualization dashboard with interactive charts and a content management system featuring rich text editing and image cropping utilities. It utilizes TypeScript for static typing and Pinia for centralized state management. The syste
Employs TypeScript for static type checking at compile time to ensure code maintainability.
type-fest is a library of reusable utility types for performing complex transformations and validations on objects, arrays, strings, and numeric ranges in TypeScript. It provides a collection of type definitions designed to handle advanced structural changes and constraints. The project distinguishes itself by offering specialized logic for string literal processing, such as casing transformations and pattern-based modifications, and type-level arithmetic for calculating numeric ranges and absolute values. It also includes utilities for enforcing deep immutability, ensuring union mutual exclu
Provides a utility for retrieving the type of elements within an array or tuple.
This project is a front-end development study guide and technical roadmap designed to introduce the tools, libraries, and patterns used in modern web application development. It serves as an educational resource covering single page application architecture, the integration of modern web tech stacks, and the design of components using static typing. The guide focuses on the orchestration of front-end CI/CD pipelines, providing a walkthrough for automating the linting, testing, bundling, and deployment of static assets to cloud hosting. It specifically addresses the implementation of reusable
Teaches how to use static analysis to verify type consistency and catch errors during the build phase.
This project is a comprehensive collection of web development reference guides and technical cheat sheets. It provides a curated set of markdown-based documentation designed to help developers quickly locate syntax patterns and API examples for common web technologies and programming languages. The repository serves as a specialized reference library covering several distinct technical domains. It includes extensive guides for CSS, focusing on selectors, Flexbox, Grid, and responsive layout properties, as well as a DevOps command reference for Docker, Kubernetes, AWS, Ansible, and general she
Provides syntax guides for documenting function types to enable static analysis.
This project is a compiler development tutorial that provides a series of guides and exercises for building a complete compiler from scratch. It focuses on the implementation of a structured compilation pipeline to transform high-level source code into executable machine instructions. The project covers the creation of a machine code generator for specific processor architectures and a static analysis framework. This framework includes methodologies for implementing type checking and constant folding to verify logic correctness before the final execution phase. The instructional material enc
Implements static type checking to verify consistency and logic correctness during the build phase.
ts-node is a TypeScript execution engine and just-in-time transpiler for Node.js. It enables the direct execution of TypeScript files by converting them to JavaScript on the fly, removing the requirement for a manual pre-compilation build step. It also provides a TypeScript read-eval-print loop for evaluating expressions and testing code snippets in real time. The project integrates with the Node.js module system as a loader hook to resolve and load files using native import syntax. It features a pluggable compiler interface that allows the use of external transpilers to accelerate execution
Bypasses the type-checking phase during execution to speed up startup and reduce processing time.
This project is a type-safe GraphQL client generator and TypeScript schema compiler. It transforms GraphQL schema definitions and operation documents into static TypeScript types to ensure compile-time validation and data consistency between an API and a frontend application. The system functions as a customizable GraphQL plugin framework. It uses a plugin-based architecture and a custom pipeline to generate tailored API clients and request functions, eliminating the need for manual type declarations. The project covers GraphQL client automation, type generation, and workflow optimization. I
Converts dynamic GraphQL schema definitions into static TypeScript interfaces for compile-time type checking.
This project is a full-stack project management web application designed for organizing work and managing project workflows. It consists of a Node.js TypeScript REST API for server-side business logic and a React component UI library for the frontend interface. The application implements a board-based task visualization system with customizable status workflows. It provides mechanisms for issue workflow management, including task prioritization and team member assignment to track responsibilities and progress. The system is built with a decoupled client-server architecture using full-stack T
Utilizes TypeScript's static type checking on the server to ensure data integrity across the API.
This project is a TypeScript React starter template and frontend development boilerplate. It provides a pre-configured project scaffold and foundation for building type-safe user interfaces, integrating essential tooling for typing, linting, and testing to accelerate the start of a web application. The scaffold distinguishes itself by providing a complete production asset pipeline that generates minified JavaScript and CSS bundles to optimize loading speeds. It includes a dedicated component testing suite for executing logic and snapshot tests in a simulated browser environment, alongside a h
Implements static analysis to verify type consistency across components during the build phase.
Perspective is a columnar data analytics engine and high-performance visualization component powered by WebAssembly. It provides a system for analyzing and visualizing large or streaming datasets through interactive data grids and charts, utilizing a compiled binary to achieve near-native performance within the browser. The project distinguishes itself through a WebSocket-based data streaming interface and deep Apache Arrow integration, which minimize memory overhead when synchronizing tables between servers and clients. It acts as a remote query proxy capable of translating visualization con
Validates calculation expressions against a schema to resolve data types and identify syntax errors before execution.
Frontend Workshop from HTML/CSS/JS to TypeScript/React/Redux
Teaches adding static type checking to JavaScript with TypeScript.
This is a comprehensive tutorial for learning TypeScript, designed for JavaScript programmers who want to understand the language's type system and modern features. The resource covers TypeScript's core identity, including its structural type compatibility, compile-time type erasure, declaration file merging, and the discriminated union pattern for precise type narrowing. The tutorial distinguishes itself by providing a progressive learning path from basic JavaScript concepts to advanced TypeScript patterns. It covers generic type parameter constraints, tuple types with fixed-length positions
Teaches TypeScript's structural type system where types match by shape, not name.
Old repo of Nuxt 3 framework, now on nuxt/nuxt
Generates TypeScript types and configuration automatically so the entire application benefits from static type checking.
The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.
Explains how TypeScript compares types by their shape and members rather than explicit names.
Fantasy Land is a specification for algebraic interfaces in JavaScript. It defines a set of rules, naming conventions, and behavioral contracts for common functional programming structures to ensure consistent behavior and interoperability across the ecosystem. The project establishes a common language for defining computational contexts and data transformation interfaces. By providing a standard set of signatures, it enables different JavaScript libraries to work together through shared algebraic specifications. The specification covers a wide range of functional abstractions, including alg
Provides a common language for defining computational contexts and data transformation interfaces across the JavaScript ecosystem.
This project is a set of software engineering standards and architectural patterns for writing maintainable and refactorable TypeScript code. It provides a comprehensive guide for implementing clean code principles, focusing on the application of SOLID design and structural patterns to build decoupled systems. The framework prioritizes composition over inheritance and utilizes dependency inversion to reduce system coupling. It establishes standards for strict static typing and the use of read-only modifiers to ensure type safety and eliminate runtime errors. The guidance covers a broad range
Enforces strict static type checking during development to catch logic flaws before runtime.
This project is a software engineering style guide and a curated collection of architectural patterns and coding standards. It provides a multi-language coding standard to ensure maintainable software across Ruby, Python, JavaScript, and Swift. The project establishes a development workflow specification for version control, continuous integration, and peer review to maintain a linear project history. It also includes a web accessibility framework based on ARIA and WCAG standards, using design tokens and semantic HTML patterns to build inclusive interfaces. The guides cover a broad range of
Implements static type checking to catch errors during development and improve editor autocomplete.
This project is a customizable browser text editor and a schema-driven document framework designed for building React-based WYSIWYG content editors. It replaces standard text areas with a system that represents content as a structured data tree rather than flat HTML, allowing for precise manipulation and validation of documents. The framework serves as an extensible content management interface and a TypeScript UI component library. It enables the development of specialized authoring tools through a plugin system and the use of strongly typed building blocks to ensure consistency across docum
Defines strict schemas and type-safe data structures to ensure consistency across document updates.