2 مستودعات
Awesome GitHub RepositoriesLanguage Compatibility Validations
Verifying that code remains compatible across different versions of a programming language.
Distinct from Language Compatibility Validations: Existing candidates focus on query plans, configuration files, or compiler testing, rather than source-level language version compatibility.
Explore 2 awesome GitHub repositories matching programming languages & runtimes · Language Compatibility Validations. Refine with filters or upvote what's useful.
Awesome Language Compatibility Validations GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- phan/phan
phan/phan
5,617عرض على GitHubPhan هو محلل ثابت ومدقق أنواع لـ PHP يحدد الأخطاء وعدم توافق الأنواع دون تنفيذ الكود. يعمل كبوابة جودة لخطوط أنابيب التكامل المستمر وأداة للتحقق من سلامة الأنواع، وتحديداً فحص أنواع الاتحاد (union types)، والأنواع العامة (generics)، وأشكال المصفوفات. يتميز المشروع باستخدامه لخادم خلفي (daemon) وتنفيذ بروتوكول خادم اللغة (LSP)، والتي توفر تشخيصات وتنقلاً في الوقت الفعلي داخل المحررات. كما يتميز بنظام قمع قائم على خط الأساس يسمح للمطورين بتسجيل الأخطاء الموجودة في ملف لقطة للتركيز حصرياً على الانحدارات الجديدة. يغطي محرك التحليل مجموعة واسعة من القدرات بما في ذلك اكتشاف الكود الميت، والتحقق من توافق اللغة عبر إصدارات PHP المختلفة، واستنتاج أنواع المتغيرات والقوالب. يدعم التحليل القابل للتوسيع من خلال نظام إضافات ويوفر إصلاحات كود آلية لمجموعة فرعية من المشكلات المكتشفة. يمكن للمستخدمين بدء العملية عن طريق إنشاء ملف تكوين بمستويات صرامة قابلة للاختيار للتحقق من قاعدة الكود الخاصة بهم تدريجياً.
Check for backward compatibility issues across different language versions and ensure inherited method signature compatibility.
PHP - asm-js/validator
asm-js/validator
1,773عرض على GitHubThe validator is a reference static analysis tool and language specification checker designed to verify that JavaScript source code strictly adheres to the defined grammar, type rules, and structural requirements of the asm.js subset standard. By inspecting source files without execution, it acts as a syntax linter that catches structural errors, malformed syntax, and standard violations early. The tool parses source code into hierarchical token structures to analyze grammatical correctness and language feature usage. It measures code against formal grammar definitions and matches programmati
Verifies that target source files strictly adhere to defined subset specifications before compilation.
JavaScript
