GitHub repository: sdg14/playcrypt
Primary language: Python
Description: Fall 2022, will add a few games (at least PRG and CPA).  Might add security reductions.