8000 GitHub - arjunguha/docker-grader: Docker based grader and demo of ocaml-docker
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Dec 17, 2018. It is now read-only.

arjunguha/docker-grader

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

DockerGrader

A docker-based grading system. To build it, you'll need:

  • ocaml-docker which needs to be manually installed for now
  • Other dependencies are available on OPAM (see the _oasis file)
  • Docker on Ubuntu 14.04
  • (Optional) Support for memory limits

See the examples/ directory for a sample assignment. Both submissions are trying to circumvent the sandbox in some way.

TODO

  • Enforce time and memory limits
  • Copy outputs to submission directory
  • Save/display warnings for debugging
  • Handle exit-codes properly

About

Docker based grader and demo of ocaml-docker

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published
0