Open-source alternatives to Flow Typed

Pytype is a static code analysis tool and type inference engine for Python. It functions as a static type analyzer that detects type mismatches and verifies type annotations without requiring full manual hinting, while also serving as a type stub generator for producing standalone definition files. The project distinguishes itself by automatically determining variable and function types through an analysis of code patterns and assignments. This inference engine allows for structural code verification and the generation of type stubs that describe the interfaces of modules and functions. The

Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web environments or native machine code for operating systems. It serves as an OCaml-compatible language that shares an abstract syntax tree with OCaml, providing a practical syntax for the OCaml ecosystem. The project functions as a type-safe frontend language, incorporating JSX support to build user interfaces through structural elements that translate into type-safe function calls. It enables deep integration with the JavaScript ecosystem, allowing the use of existing librarie

Flow is a JavaScript static type checker and AST parser that identifies type errors and prevents runtime failures through static annotations. It functions as a code intelligence engine and a static analysis linter to identify unsafe coding patterns and enforce consistency across a codebase. The project includes a type annotation stripper that removes static type signatures from source code, ensuring the resulting JavaScript is compatible with any runtime environment. It also provides a parser that converts typed JavaScript into an abstract syntax tree conforming to the ESTree specification.

mypy is a static type checker for Python that analyzes source code to detect type errors and inconsistencies without executing the program. It functions as a static analysis tool and type inference engine, providing a gradual typing system that allows type hints to be added to a codebase incrementally while maintaining compatibility with dynamic typing. The project distinguishes itself through a combination of performance and precision features. It utilizes a daemon-based incremental checking system and multi-process parallel analysis to manage large codebases, supported by binary cache persi

lua-language-server is a static analysis tool and type checker for the Lua language that implements the Language Server Protocol. It provides a system for detecting type mismatches, unused code, and logic errors in source files. The project features an inference-based type system that deduces variable types and supports optional annotations and meta files to enforce type safety. It allows for the definition of custom types and function signatures, including support for overloads and member visibility controls. The server provides a broad set of IDE capabilities, including real-time code auto

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

This project is a structured educational course and interactive tutorial designed to teach the TypeScript type system. It functions as a coding sandbox where users learn through a series of guided exercises and challenges that are verified using an automated local test runner. The curriculum covers a progression of skills starting with basic typing fundamentals and core language patterns. It advances into generic abstractions, complex type transformation techniques, and advanced type programming. The material also includes practical applications of software engineering patterns, such as bran

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

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.

This project is a functional programming compiler and JavaScript transpiler that transforms a statically typed language into optimized JavaScript for web browsers. It serves as a frontend architecture framework, providing a static type system and a package manager that enforces semantic versioning. The compiler uses a type-checking engine with automatic type inference to prevent runtime errors and guide code refactoring. It implements a structural pattern for managing application state and rendering user interfaces through a virtual DOM, utilizing immutable data and purity-based state transit

Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics, completions, and navigation in any editor supporting the Language Server Protocol. It also performs static tensor shape analysis, using symbolic dimension variables and arithmetic to verify shape consistency in deep learning models without runtime execution. Beyond core type checking, Pyrefly supports gradual adoption workflows: it can generate a baseline of known errors so only new issues are reported, migrate configuration from other type checkers, and automatically suppress exi

This project provides a curated collection of OpenWrt plugins and packages, offering a unified ecosystem for extending router functionality. It functions as both a package feed compatible with opkg and apk package managers and a source for custom firmware compilation, integrating directly with the OpenWrt build system through a script-based tool. The repository delivers daily pre-compiled binary packages organized by CPU architecture, enabling direct installation without requiring source compilation. These binaries are served through a globally distributed feed hosted on Cloudflare R2 edge no

kro is a Kubernetes resource orchestrator and API abstraction layer that enables the definition of simplified custom API surfaces. It allows users to map high-level inputs to complex templates of underlying Kubernetes objects, effectively grouping interdependent resources into single, manageable units. The project differentiates itself by automating the generation of custom resource definitions and dedicated controllers from resource graph specifications without requiring manual Go code. It employs a dependency manager that uses directed acyclic graphs to coordinate the creation, readiness, a

ts-jest is a TypeScript compilation tool and transformer that enables the Jest testing framework to execute tests written in TypeScript. It functions as a bridge that transpiles typed source code into executable JavaScript while maintaining the necessary integration for test runner execution. The project distinguishes itself by providing on-the-fly type diagnostics and pre-test type validation to identify structural errors before the execution phase. It includes a source map handler that links compiled JavaScript output back to the original TypeScript source lines to ensure accurate error sta

Frontend Workshop from HTML/CSS/JS to TypeScript/React/Redux

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

jscamp is a full-stack web development and education project focused on mastering JavaScript, TypeScript, and AI integration. It provides a structured curriculum and interactive exercises covering language fundamentals, frontend engineering, and backend API development. The project distinguishes itself through the implementation of autonomous AI agents capable of complex task automation, such as modifying files, managing servers, and executing API calls. It includes advanced AI development tools for conversational querying, real-time code suggestions, and automated repository analysis to gene

iOS-Runtime-Headers is a collection of Objective-C header files and tooling used to expose private and undocumented iOS system APIs. These definitions are generated through runtime introspection of the live operating system to uncover hidden class methods and properties. The project enables the use of undocumented iOS API definitions for internal Apple frameworks. It provides the necessary header files to allow a compiler to link against private system symbols and verify types for undocumented system calls. The tooling covers several technical areas, including memory-mapped metadata extracti

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

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.

NullAway is a Java static analysis tool and build-time detector designed to identify null pointer risks. It functions as a nullability checker that uses annotations to verify that references are not null before they are dereferenced, preventing runtime crashes. The analyzer implements the JSpecify standard to ensure consistent nullability annotations across different Java libraries. It distinguishes itself through the use of a service provider interface to model the nullability behavior of third-party libraries that lack source annotations and by providing specialized support for Lombok-gener

This project is a suite of specialized tools for the implementation of a language server, template parsing, and static type validation of single-file components. It provides a language server and a type checker to deliver consistent intelligence and validation for Vue components across different editors and command-line environments. The tooling utilizes a template parser to transform single-file component structures into virtual code, enabling static analysis and type checking on HTML-like structures. This process allows for the extraction of component metadata regarding props, events, and s

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

Reui is a React UI component library and front-end framework distributed under the MIT license. It provides a collection of reusable, pre-built React components for building modern web application interfaces. The library is built on a component-based architecture that uses declarative rendering through JSX, with state management handled by React Hooks. It employs CSS Modules for scoped styling and Tailwind CSS for utility-first styling, while TypeScript provides static type checking across the codebase. The project organizes components using a file-based structure and uses a module bundler bu

This is an ECMAScript proposal that adds static type syntax to JavaScript, enabling type checking without a separate transpilation step. The proposal defines a standard for type annotations, interfaces, generics, and type imports and exports that are stripped during execution, allowing code to run natively in existing JavaScript engines while still being validated by external type checkers. The proposal introduces generic type parameters using angle-bracket syntax on functions, classes, and type declarations, which are removed at runtime. It also provides syntax for type annotations on variab

This is the comprehensive documentation website for the Vue 2 progressive JavaScript framework. It serves as a technical reference and development guide for building reactive user interfaces and single-page applications. The site provides a detailed JavaScript API reference and a web component directory. It covers the implementation of component-based architectures, reactive state management, and the use of a virtual DOM to synchronize application state with the browser. The documentation details capabilities including client-side routing, declarative DOM manipulation, and frontend build opt

InstallWithOptions is a specialized Android application deployment utility designed to install application packages using advanced flags and elevated permissions. It functions as an installer and deployer that can bypass standard system restrictions, such as version checks and minimum target SDK requirements. The tool differentiates itself through the ability to perform version downgrades, deploy multi-part split APK bundles as single cohesive apps, and install test-only packages. It further automates the deployment process by granting runtime permissions automatically and spoofing the instal