数理情報第5研究室での研究成果は以下のGitHub Organizationのページにまとめています。
5研ソフトウェア