5 مستودعات
Tools that automatically verify the correctness of student submissions for programming exercises.
Distinct from Exercise Solutions: Distinct from exercise solutions or authoring tools: focuses on the active validation mechanism rather than the static answers or creation process.
Explore 5 awesome GitHub repositories matching education & learning resources · Solution Validators. Refine with filters or upvote what's useful.
This project is a structured Rust programming course and learning path consisting of a sequence of interactive coding exercises. It provides a curriculum designed to guide learners from basic language fundamentals, such as syntax and type systems, to the development of complex applications. The learning experience is supported by a command-line solution validator that verifies the correctness of code solutions. The curriculum follows a progressive problem sequencing model, allowing users to master memory management and application logic through a series of practical coding challenges. The sc
The Rust project includes a command line tool to verify the accuracy of programming exercise solutions.
This project is a guided coding course and interactive tutorial designed to teach the fundamentals of the Node.js runtime and its core modules. It functions as a learning environment where users complete a series of self-guided workshops focused on server construction and asynchronous input and output operations. The system includes an automated exercise validator that verifies the correctness of lesson solutions. This tool checks submitted script files against expected outcomes to provide immediate validation of the user's work. The curriculum covers Node.js programming education through ex
Provides a mechanism to automatically verify the correctness of student script submissions.
Githug is a terminal-based learning tool and interactive Git course that teaches version control through a series of progressive repository challenges. It functions as a command-line game where users master software operations by solving curated levels that require specific repository states to progress. The system utilizes a challenge-and-verify loop, employing a validation engine to check the current Git index and working tree against predefined solution logic. To support the learning process, it includes a hint system for roadblocks and a state management mechanism to reset levels to their
Implements a validation engine that automatically verifies if the repository state matches the correct solution.
QuantumKatas عبارة عن مجموعة من الموارد التعليمية ودورات الحوسبة الكمومية المصممة لتعليم لغة البرمجة Q# ومبادئ الحوسبة الكمومية. يجمع المشروع بين دروس تعليمية منظمة ومهام برمجية مع دفاتر ملاحظات تفاعلية ومجموعة اختبارات وحدة مخصصة للتحقق من صحة تنفيذ التمارين. يوفر المشروع بيئة تعلم معتمدة على Docker تقوم بتجميع كافة الأدوات والتبعيات اللازمة في صورة افتراضية، مما يسمح بتنفيذ تمارين البرمجة الكمومية دون الحاجة إلى تثبيت برمجيات محلياً. يغطي المنهج معالجة الكيوبتات (qubits)، والبوابات المنطقية، والقياسات، وتنفيذ الخوارزميات الكمومية. يتم تقديم التعلم من خلال سلسلة من دفاتر الملاحظات التفاعلية والمشاريع المستقلة التي يمكن تنفيذها داخل بيئة تطوير متكاملة (IDE).
Ships an integrated framework to automatically verify the correctness of exercise implementations.
This project is an interactive learning platform designed for mastering component-based user interface patterns and state management using the React library. It functions as a frontend development tutorial and course, providing a guided environment for learning declarative rendering and virtual DOM concepts. The platform distinguishes itself through a live-reload coding environment and a split-view interface for real-time code validation. These tools allow learners to compare their live code output against target solutions and use guided source-code markers to identify required edits and crit
Automatically verifies the correctness of student submissions by comparing live output against predefined target solutions.