Awesome GitHub RepositoriesStatic Code Analysis

هذا المشروع عبارة عن مجموعة شاملة من مواد تعليم برمجة Python، بما في ذلك البرامج التعليمية، والتمارين، وعينات الكود المنسقة. يعمل كمنهج تعليمي ومجموعة أدوات هندسة برمجيات، باستخدام Jupyter Notebooks لدمج الكود القابل للتنفيذ مع نص تعليمي وصفي. يوفر المستودع أدلة تنفيذ عملية لبناء تطبيقات نماذج لغوية كبيرة، مثل أنظمة التوليد المعزز بالاسترجاع، ووكلاء الذكاء الاصطناعي ذوي الحالة، وسير عمل التعلم الآلي. يتميز بتقديم نهج منظم لسير عمل الترميز الوكيل، وتغطية تقطير نافذة السياق، وتوجيه النموذج المستقل عن المزود، والمخرجات المهيكلة المفروضة بالمخطط. تغطي المواد مجموعة واسعة من قدرات هندسة البرمجيات، بما في ذلك البرمجة غير المتزامنة مع طوابير المهام الموزعة، وتطوير تطبيقات الويب مع REST APIs، وسير عمل تحليل البيانات. كما يتضمن موارد لإتقان التصميم الموجه للكائنات، وتنفيذ خطوط أنابيب CI/CD، وتطبيق معايير التنسيق والتدقيق المهنية.

هذا المشروع عبارة عن دليل أسلوب JavaScript ومعيار ترميز Node.js مصمم لضمان إنشاء كود متسق وقابل للصيانة والقراءة. وهو بمثابة مرجع شامل لاتفاقيات التسمية والتنسيق والأنماط المعمارية. يوفر المشروع قالب تكوين للتدقيق (linting) يسمح بالفرض التلقائي لهذه المعايير. يتضمن ذلك إعدادات مسبقة للتدقيق وقاعدة من القواعد المستخدمة لإجراء فحوصات المنطق والتنسيق التلقائي عبر قاعدة الكود. تغطي الإرشادات مجموعة واسعة من إمكانيات التقييس، بما في ذلك تنسيق الكود والملفات، وتنفيذ أنماط ترميز محددة، وتحديد اتفاقيات التسمية للمعرفات. يتم تطبيق هذه المعايير من خلال تكوينات تدقيق آلية للحفاظ على الجودة عبر سير عمل التطوير.

ZLS is a language server for the Zig language that implements the Language Server Protocol to provide IDE-like intelligence. It functions as a code intelligence provider, static code analysis tool, and automated refactoring engine for Zig projects. The server integrates directly with the Zig compiler toolchain to derive precise type information and perform semantic analysis. It uses this integration to surface real-time compilation errors as editor diagnostics and to provide semantic syntax highlighting based on resolved types rather than regex patterns. The project covers a wide range of de

Asterinas هو نواة نظام تشغيل آمنة للذاكرة مصممة لمنع سباقات البيانات وتلف الذاكرة. تعمل كنواة متوافقة مع Linux-ABI، مما يتيح تنفيذ ملفات Linux الثنائية الحالية وأحمال عمل الحاويات مع توفير نموذج توزيع نظام تشغيل تصريحي. يتميز المشروع بكونه مضيف حاويات آلة افتراضية ونظام تشغيل ضيف للحوسبة السرية، مما يسمح له بالعمل داخل بيئات تنفيذ موثوقة معزولة بالأجهزة مثل Intel TDX. ينفذ قاعدة حوسبة موثوقة دنيا عن طريق عزل العمليات غير الآمنة منخفضة المستوى ويفصل آليات النواة الأساسية عن تنفيذات السياسات المحددة. يغطي النظام مجموعة واسعة من القدرات، بما في ذلك إدارة الذاكرة الفيزيائية والافتراضية، والمعالجة المتعددة المتماثلة، وتجريد الأجهزة لمختلف معماريات CPU. كما يتضمن دعمًا لأوقات تشغيل الحاويات الآمنة، ومجموعة شاملة من بدائيات الشبكات والمقابس (sockets)، وسلسلة أدوات متخصصة لتجميع النواة والمحاكاة. يدعم المشروع النشر متعدد المعماريات عبر منصات x86-64 و RISC-V 64 و LoongArch 64.

هذا المشروع عبارة عن إضافة IDE لمنصة IntelliJ توفر دعم اللغة لـ Go. تدمج أدوات تطوير Go في JetBrains IDEs لتسهيل كتابة وتنظيم وتحليل الكود المصدري. تمكن الإضافة من تحويل كود Go المصدري إلى ملفات ثنائية قابلة للتنفيذ عن طريق إدارة عمليات البناء وتنفيذ المجمع القياسي. كما تتضمن أدوات لتكوين مجموعة تطوير برمجيات Go (SDK) وتوليد ملفات التطبيق والمكتبة الأولية لتمهيد هياكل المشاريع. توفر مجموعة الأدوات تحليلاً ثابتاً للكود من خلال تمييز الصيغة ومحرك إكمال مدرك للنوع لاقتراحات الرموز التلقائية. كما تساعد في التنقل عن طريق فهرسة رموز المشروع، مما يسمح للمستخدمين بالقفز بين تعريفات النوع والإعلانات عبر ملفات المشروع والمكتبة القياسية.

هذا المشروع عبارة عن أداة تحليل ثابت (static analysis) و linter للغة Elixir مصمم لفرض بنية مرئية موحدة عبر قواعد الكود. يعمل كمواصفة لتنسيق الكود، واتفاقيات التسمية، ومعايير التوثيق. توفر الأداة نظاماً موحداً لحالة الأحرف (casing) والبادئات المستخدمة في الملفات والوظائف والمتغيرات. كما تضع إرشادات لتنسيق أوصاف الوحدات والوظائف لضمان توثيق تقني متسق. يغطي المشروع مجموعة واسعة من مجالات جودة الكود، بما في ذلك تنظيم تخطيطات الوحدات، وتنفيذ أنماط التعليقات، وتوحيد تأكيدات الاختبار. كما يوفر إرشادات للتعبير اللغوي الاصطلاحي وتعريف مواصفات الأنواع (type specifications).

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

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

ccls is a language server providing code completion, navigation, and semantic analysis for C and C++ projects. It focuses on the indexing and navigation of C-family codebases, enabling users to trace function calls and class hierarchies within a text editor. The project is designed for large scale project indexing, employing parallel source scanning to process massive source trees. It maintains a global symbol index that supports incremental updates as files are saved to disk, ensuring cross-references and symbol lookups remain current. The server covers a range of static code analysis workf

This project provides a collection of coding standard specifications, style guides, and configuration assets used to define automated rules for static code analysis in Ruby. It serves as a centralized set of RuboCop configurations and static analysis rules to ensure consistent syntax and idiomatic usage across a codebase. The project establishes a comprehensive Ruby style guide that defines naming conventions, indentation, and structural requirements. It utilizes a pluggable linting engine to enforce these standards through a defined set of patterns and constraints. The capability surface co

scss-lint is a static analysis tool and configurable style validator for SCSS stylesheets. It identifies syntax errors and enforces coding style consistency in CSS preprocessor files before they are compiled. The project provides an extensibility system for loading custom linting rules from local directories or external libraries. It allows for the definition of project-specific style standards and supports the creation of baseline configurations to facilitate incremental code cleanup. The tool includes capabilities for source control management hook integration and source preprocessing via

Code Connect is a design system integration tool that bridges the gap between codebase component definitions and design software. It functions as a synchronization utility that surfaces production-ready code snippets and implementation details directly within design environments, establishing a single source of truth for interface elements. The tool distinguishes itself by using a schema-based, declarative approach to map code components to design assets. By parsing source code to extract component definitions and property configurations, it ensures that the code snippets displayed to designe