The TEALS toolbox is a collection of tools and utilities that are useful across the TEALS repositories. Among other things it contains
- Build scripts for common tasks
- Official third-party binaries used in TEALS development
- General instructor tools, such as plagarism detectors
The devtools directory contains packages, binaries and scripts that are used across TEALS repos
for development and build.
The install directory contains installers for various applications used by TEALS.
cheat-detect — A general tool to help detect possible code plagarism