Public | Automated Build

Last pushed: 2 months ago
Short Description
Short description is empty for this repo.
Full Description


This container is part of INGInious, an intelligent grader that allows secured and automated testing of code made by students.

Oz container (ingi/inginious-c-oz)

A container image containing Mozart 2, an implementation of the Oz language.
This container also provides

- A java environment for [CorrectOz], a tool that recognizes common mistakes in Oz programs;
- Xvfb, a virtual X server to run graphical apps headless;
- ImageMagick, to dump QTk canvas to nice gif's
Docker Pull Command
Source Repository