My attempts for https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/index.cgi
No issues in this repository yet.