Several projects: UDMS for my undergraduate thesis, MultiGraCoClustering for SRTP, TGame for one of the AI homework and ACL2 for research