The checkr toolchain is split up into multiple crates:
checkr: Contains the fundamental types and functions for the core analysis analysis and validation of results.checko: Contains the infrastructure code for running external implementations for the analysis.inspectify: Contains the application code for displaying analysis external implementations.
Each of the crates have different target audiences: checko is meant for admin tasks, such as correcting assignments, running competitions, and for validating submissions in CI. inspectify is meant for students to interact with their analysis tool in a user-friendly way. checkr is the core analysis implementation, and is purely meant to be used as a dependency in other crates.
To learn more about checko and inspectify, checkout the README in their folders.