https://github.com/oleks/mrk-idris

MRK — A file format for marking student work
https://github.com/oleks/mrk-idris

Last synced: about 2 months ago
JSON representation

MRK — A file format for marking student work

• Host: GitHub
• URL: https://github.com/oleks/mrk-idris
• Owner: oleks
• Created: 2016-07-30T10:33:15.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2017-01-09T18:34:52.000Z (over 8 years ago)
• Last Synced: 2025-02-10T13:44:10.062Z (3 months ago)
• Language: Idris
• Homepage:
• Size: 25.4 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.org

Awesome Lists containing this project

README

        
#+TITLE: MRK — A file format for marking student work

When judging student performance, it is useful to have both smaller, composable

quantitive judgements, and some qualitative remarks on key areas of interest.

This makes both spreadsheets and mere text-files ill-suited for marking student

work.  Although org-mode can solve this problem to a great extent, it becomes a

heavy tool in the light of having to mark hundreds of students in a distributed

fashion. With org-mode, everything is in one file, while global, intra-student

statistics are not needed until all the students have been fully marked.

* Design Goals

  1. One human-readable/editable file per student.

  2. Export options to spreadsheet-formats.

  3. git-friendly file format.

  4. Synchronization options with Dropbox and/or Google Drive.

Goal 4 is not necessarily related to MRK, but is related to marking student

work with external examiners, who are not always willing to use more explicit

version-control systems, such as git.