Automatic marking with moodle

Stream: Lean for teaching

[Thorsten Altenkirch]

I am teaching logic using lean to a fairly big class. Last year we have marked the submissions manually but now student numbers have increased. It seems several people here have been using auto grading with lean? What are the experiences / recommendations? Also I need to find a way to integrate this with moodle which is used for submissions and feedback.

[Matthew Ballard]

Am I correct in reading this as mainly a question about moodle integration? Because playing nice with your LMS strongly limits choices.

[Thorsten Altenkirch]

Actually it is a question where to start? What is an LMS?

[Johan Commelin]

Like CMS but for Learning, I think.

[Matthew Ballard]

Learning Management System: Moodle, Canvas, Blackboard,...

[Matthew Ballard]

Another question: is this Lean 3 or Lean 4?

[Thorsten Altenkirch]

Lean 3

[Matthew Ballard]

The two autograding systems I have seen people use here are: GitHub classroom and Gradescope.

[Matthew Ballard]

GitHub classroom is pretty bare bones. At best with Moodle, you can pull your course roster. But there is no functionality for passing scores back and forth.

[Matthew Ballard]

I use GitHub classroom currently because I have small class, it something I know, and most assignments have written components that need to be looked at anyway.

Students accept a GH classroom assignment by clicking on a link supplied by GH classroom and shared via the instructor. They then each get separate GH repos housing their work. Students submit by just updating the repository.

For automatic grading, you need to fill out an yaml file for building the underlying GH action and a autograding.json which specifies what commands to run, what outputs are expected, and how to score the results.

GH classroom has no built in functionality akin to a gradebook. I just end up looking at the outcome of the action and have that help guide me when I look at the actual file. Then I submit feedback and scores on Microsoft Teams where we have a team for the course.

[Matthew Ballard]

With moodle, it seems like gradescope has much better integration.

[Matthew Ballard]

But your institution needs a license.

[Thorsten Altenkirch]

Thank you that is very helpful.

[Matthew Ballard]

Glad to know.