Awesome GitHub RepositoriesInterface-Driven Validation

Pkl is a configuration-as-code language used to define, validate, and generate structured configuration files. It functions as a type-safe configuration generator that enforces data integrity through a strongly-typed schema, ensuring configuration values meet defined constraints and types during evaluation. The project distinguishes itself by acting as both a configuration file generator and a binding generator. It transforms high-level programmable definitions into static formats such as JSON, YAML, or XML, and produces language-specific source code to synchronize settings and provide type s

هذا منهج تعليمي لبناء وتدريب الشبكات العصبية باستخدام PyTorch. يعمل كدليل ومورد لتدريب التعلم العميق، حيث يوفر سلسلة منظمة من الدروس حول حسابات الموترات (tensors) وتطوير البنيات. تستخدم الدورة نموذج تعلم تفاعلي يربط النظرية الأكاديمية بالممارسة. فهي تجمع بين شرائح المحاضرات النظرية ودفاتر الملاحظات القائمة على التمارين، مما يتطلب من الطلاب تنفيذ منطق النموذج ضمن قوالب محددة مسبقاً للتحقق من فهمهم المفاهيمي. يغطي المنهج مجموعة واسعة من قدرات التعلم العميق، بما في ذلك تحسين النموذج عبر الانحدار المتدرج (gradient descent) والتنظيم (regularization)، وتنفيذ بنيات الشبكات التلافيفية (convolutional)، والمتكررة (recurrent)، والمحولات (transformers). كما يتضمن تعليمات لمعالجة البيانات متعددة الوسائط وتطبيق التعلم شبه الخاضع للإشراف عبر الطرق التباينية والمشفرات التلقائية. يتم تقديم المحتوى من خلال سلسلة معيارية من Jupyter Notebooks.

هذا المشروع عبارة عن طبقة تجريد للتخزين المؤقت ومعيار واجهة لـ PHP، يحدد تحديداً مواصفات التخزين المؤقت PSR-6. ينشئ مجموعة متسقة من تعريفات النوع والعقود لعناصر ومجمعات التخزين المؤقت لضمان التوافق بين مكتبات PHP المختلفة. تمنع المواصفات الارتباط بمورد معين عن طريق فصل منطق التخزين المؤقت عالي المستوى عن تطبيقات التخزين منخفضة المستوى. يسمح هذا بتبديل خلفيات التخزين المؤقت المختلفة دون الحاجة إلى تغييرات في كود التطبيق. يركز المشروع على توحيد التخزين المؤقت في PHP وقابلية التشغيل البيني للمكتبات من خلال استخدام توقيعات الطرق الشائعة والتعريفات الآمنة للنوع. يخلق هذا طبقة تخزين مؤقت محايدة للمورد تتيح لموفري التخزين المتعددين البقاء قابلين للتبديل.

ML-foundations is a machine learning educational curriculum and computer science study guide. It provides a structured learning path focused on the mathematical foundations and computational prerequisites required for studying machine learning. The project serves as a Python mathematics course, delivering interactive notebooks and coding exercises to teach linear algebra, calculus, and statistics. It translates abstract mathematical formulas into concrete algorithmic code to help learners understand the principles underpinning machine learning algorithms. The curriculum covers data science p

This project is a structured curriculum archive and study resource for mastering deep learning architectures and model implementation. It serves as a categorized repository of academic materials, including courseware and implementation guides for neural networks. The collection provides a multi-model framework for building and training various architectures, specifically covering basic neural networks, convolutional networks, and sequence models. It focuses on deep learning architecture, regularization, and the process of structuring machine learning projects and tuning hyperparameters. The

هذا المشروع عبارة عن منصة تعليمية قائمة على التمارين ودورة برمجة وظيفية مصممة لتعليم Haskell من خلال منهج منظم من مهام التنفيذ العملية. يعمل كبرنامج تعليمي تفاعلي وإطار عمل تعليمي حيث يتقن الطلاب مفاهيم البرمجة الوظيفية من خلال إكمال سلسلة من الوحدات المنسقة. تؤكد المنصة على سير عمل التطوير القائم على الأنواع (type-driven)، باستخدام ثقوب الأنواع (type holes) والاستعلام عن الأنواع المدمج في المترجم لتوجيه اكتشاف منطق البرنامج. توفر بيئة برمجة تفاعلية عبر حلقة القراءة-التقييم-الطباعة (REPL)، مما يسمح بتجربة الكود في الوقت الفعلي، والاستعلام عن أنواع التعبيرات، وفحص تفاصيل المعرفات. يتم ضمان الصحة من خلال نظام تحقق مؤتمت يجمع بين اختبارات الوحدات ومجموعة اختبارات قائمة على الخصائص (property-based testing). تستخدم هذه الأدوات توليد مدخلات عشوائية للتحقق من أن حلول التمارين تلبي متطلبات محددة. يغطي المنهج بناء جملة اللغة، وتوقيعات الأنواع، وتعدد الأشكال (polymorphism)، ومطابقة الأنماط لتفكيك هياكل البيانات المعقدة.

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

ozzo-validation is a programmable data validation library for Go that verifies structs, maps, and primitive types using a declarative, rule-based approach. It functions as an interface-based validator, allowing for the recursive checking of nested data structures and custom types without the use of struct tags. The framework distinguishes itself as a context-aware validation engine, supporting the propagation of request-scoped data to rules that depend on external state. It provides extensive extensibility through custom rule definitions and the ability to override default failure text with l

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