{"id":16040257,"url":"https://github.com/oleks/mrk-idris","last_synced_at":"2026-01-19T10:34:09.461Z","repository":{"id":140737396,"uuid":"64539063","full_name":"oleks/MRK-Idris","owner":"oleks","description":"MRK — A file format for marking student work","archived":false,"fork":false,"pushed_at":"2017-01-09T18:34:52.000Z","size":26,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-04-05T06:14:28.850Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Idris","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/oleks.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2016-07-30T10:33:15.000Z","updated_at":"2017-01-09T18:33:20.000Z","dependencies_parsed_at":null,"dependency_job_id":"318f8d41-4de8-4674-a001-7fdd8df865a7","html_url":"https://github.com/oleks/MRK-Idris","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/oleks/MRK-Idris","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oleks%2FMRK-Idris","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oleks%2FMRK-Idris/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oleks%2FMRK-Idris/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oleks%2FMRK-Idris/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/oleks","download_url":"https://codeload.github.com/oleks/MRK-Idris/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oleks%2FMRK-Idris/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28565574,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-19T08:53:44.001Z","status":"ssl_error","status_checked_at":"2026-01-19T08:52:40.245Z","response_time":67,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-08T23:10:00.512Z","updated_at":"2026-01-19T10:34:09.435Z","avatar_url":"https://github.com/oleks.png","language":"Idris","funding_links":[],"categories":[],"sub_categories":[],"readme":"#+TITLE: MRK — A file format for marking student work\n\nWhen judging student performance, it is useful to have both smaller, composable\nquantitive judgements, and some qualitative remarks on key areas of interest.\nThis makes both spreadsheets and mere text-files ill-suited for marking student\nwork.  Although org-mode can solve this problem to a great extent, it becomes a\nheavy tool in the light of having to mark hundreds of students in a distributed\nfashion. With org-mode, everything is in one file, while global, intra-student\nstatistics are not needed until all the students have been fully marked.\n\n* Design Goals\n\n  1. One human-readable/editable file per student.\n  2. Export options to spreadsheet-formats.\n  3. git-friendly file format.\n  4. Synchronization options with Dropbox and/or Google Drive.\n\nGoal 4 is not necessarily related to MRK, but is related to marking student\nwork with external examiners, who are not always willing to use more explicit\nversion-control systems, such as git.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foleks%2Fmrk-idris","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Foleks%2Fmrk-idris","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foleks%2Fmrk-idris/lists"}