Popular repositories Loading

1. pdf2video pdf2video Public

   A tool for making videos from PDF presentations.

   Python 23 5

2. grading-minizinc grading-minizinc Public

   Forked from apluslms/grading-minizinc

   Grading environment with specific MiniZinc version in path.

   Shell

3. grading-z3 grading-z3 Public

   Forked from apluslms/grading-z3

   Grading environment with specific Z3 version in path and python path.

   Shell

4. assistant-scheduler assistant-scheduler Public

   A tool for scheduling teaching assistants in exercise groups.

   Python

5. aplus_stuck_finder aplus_stuck_finder Public

   Python