2 مستودعات
Awesome GitHub RepositoriesAutomated Exercise Validations
Automated systems that verify the correctness of coding exercise implementations through test suites.
Distinct from Exercise-Driven Validations: Distinct from Exercise-Driven Validations by focusing on the automated testing mechanism rather than the pedagogical requirement of implementation
Explore 2 awesome GitHub repositories matching software engineering & architecture · Automated Exercise Validations. Refine with filters or upvote what's useful.
Awesome Automated Exercise Validations GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- system-f/fp-course
system-f/fp-course
4,237عرض على GitHubهذا المشروع عبارة عن منصة تعليمية قائمة على التمارين ودورة برمجة وظيفية مصممة لتعليم Haskell من خلال منهج منظم من مهام التنفيذ العملية. يعمل كبرنامج تعليمي تفاعلي وإطار عمل تعليمي حيث يتقن الطلاب مفاهيم البرمجة الوظيفية من خلال إكمال سلسلة من الوحدات المنسقة. تؤكد المنصة على سير عمل التطوير القائم على الأنواع (type-driven)، باستخدام ثقوب الأنواع (type holes) والاستعلام عن الأنواع المدمج في المترجم لتوجيه اكتشاف منطق البرنامج. توفر بيئة برمجة تفاعلية عبر حلقة القراءة-التقييم-الطباعة (REPL)، مما يسمح بتجربة الكود في الوقت الفعلي، والاستعلام عن أنواع التعبيرات، وفحص تفاصيل المعرفات. يتم ضمان الصحة من خلال نظام تحقق مؤتمت يجمع بين اختبارات الوحدات ومجموعة اختبارات قائمة على الخصائص (property-based testing). تستخدم هذه الأدوات توليد مدخلات عشوائية للتحقق من أن حلول التمارين تلبي متطلبات محددة. يغطي المنهج بناء جملة اللغة، وتوقيعات الأنواع، وتعدد الأشكال (polymorphism)، ومطابقة الأنماط لتفكيك هياكل البيانات المعقدة.
Implements automated validation of coding exercises through integrated unit and property-based test suites.
Haskell - data61/fp-course
data61/fp-course
4,237عرض على GitHubهذا المشروع عبارة عن دورة برمجة وظيفية ومنهج برمجي مؤتمت مصمم لتعليم المبادئ الأساسية للنموذج من خلال سلسلة منظمة من التمارين والوحدات. يعمل كبرنامج تعليمي تفاعلي للبرمجة حيث يحل المتعلمون مشكلات تدريجية ويتحققون من فهمهم من خلال مجموعة تمارين برمجية. المنهج مستقل عن اللغة، ويركز على المنطق الأساسي والنماذج بدلاً من لغة محددة. يستخدم سلسلة أدوات مؤتمتة تحول الكود المصدري إلى ملفات ثنائية قابلة للتنفيذ للتحقق من الحلول. يتم التحقق من الصحة باستخدام نهج قائم على الاختبار (test-driven) يجمع بين مشغل اختبار مدمج واختبار قائم على الخصائص لضمان أن التنفيذات تلبي متطلبات وظيفية محددة. يتضمن المشروع نصوصاً برمجية لتهيئة بيئة المطور لتوليد ملفات تكوين البناء تلقائياً.
Verifies implementation correctness by executing predefined test cases and property-based checks against user code.
Haskell
