This repository helps teachers generate math worksheets for students based on whatever theme they wish. The generator creates plain and pirate themed math worksheets ...

Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora (i.e., software that has known bugs with triggering inputs). LAVA attempts to solve this ...