Teaching Tools Python Packages

instantgrade

An automated evaluation framework for Python notebooks and Excel assignments

countdown-cli

Full-screen countdown timer, centered in the terminal window

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 in GitHub

textanalytics

Basic computational linguistics and natural language processing in Python