Giters
tjunttila

tjunttila

Geek Repo

1

followers

0

following

0

stars

Github PK Tool:Github PK Tool

tjunttila's repositories

pdf2video

A tool for making videos from PDF presentations.

Language:PythonLicense:MITStargazers:19Issues:1Issues:0

aplus_stuck_finder

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

assistant-scheduler

A tool for scheduling teaching assistants in exercise groups.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

grading-minizinc

Grading environment with specific MiniZinc version in path.

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

grading-z3

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

Language:ShellLicense:MITStargazers:0Issues:0Issues:0