Awesome GitHub RepositoriesVariable Usage Analysis

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

This project is an ESLint plugin and static analysis tool designed to enforce best practices, prevent bugs, and maintain code quality in React projects. It functions as a specialized JSX linter that analyzes the syntax and structure of components to detect anti-patterns and API misuse. The plugin distinguishes itself by providing deep analysis of React-specific patterns, such as detecting state race conditions, preventing nested component definitions, and identifying unstable references that cause unnecessary re-renders. It also includes security hardening rules to identify vulnerabilities li

cppfront هو واجهة أمامية لامتداد لغة C++ ومترجم من المصدر إلى المصدر. يعمل كمحول بناء جملة يحول امتدادات اللغة التجريبية إلى كود C++ متوافق مع المعايير، مما يسمح بإنشاء نماذج أولية لميزات اللغة الجديدة داخل أنظمة البناء الحالية. يوفر المشروع طبقة ترجمة تضيف دعماً لمطابقة الأنماط، والعقود، واستيفاء السلاسل. ويتضمن أداة برمجة وصفية للانعكاس في وقت التجميع وإنشاء الكود الآلي باستخدام دوال وصفية متخصصة. يؤتمت النظام العديد من مهام التطوير، بما في ذلك حل ترتيب التبعية من خلال الإعلانات الأمامية التلقائية وإدارة أوضاع تمرير المعلمات. كما يطبق تحليلاً ثابتاً لإدراج فحص الحدود التلقائي وتحسين إدارة الموارد من خلال تطبيق دلالات النقل في آخر نقطة استخدام للمتغير. تتضمن الأداة آلية تحقق لضمان بقاء الكود المصدري القياسي دون تغيير أثناء عملية الترجمة لمنع تراجعات بناء الجملة.

Amber is a transpiler that translates high-level source code into executable shell scripts for Bash, Zsh, and Ksh. It provides a type-safe environment for shell script generation, allowing for static type validation and the creation of standalone executable scripts. The project distinguishes itself through a compilation process that includes tree-shaking import optimization to reduce output size and template-based script wrapping for custom headers and footers. It utilizes a module-based dependency resolution system with visibility controls to manage code reuse across multiple files. The lan