ThinerDAS's Stars
microsoft/PythonProgrammingPuzzles
A Dataset of Python Challenges for AI Research
princeton-vl/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
nneonneo/pwn-stuff
Miscellaneous utilities and such that I use for pwning. Open sourced since people might find these useful. Be warned: nothing is stable.