Teaching Tools Python Packages

instantgrade

An automated evaluation framework for Python notebooks and Excel assignments

countdown-cli

Terminal program to display countdown timer

anita

ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA allows students to write their proofs and automatically checks whether the proofs are correct and, if not, displays any errors found.

github-commit-status

A simple command line for updating a commit's status on GitHub

textanalytics

Basic text analytics and natural language processing in Python