注册实用程序与Hedgehog生成器合作，
registry utilities to work with Hedgehog generators, (2022-11-24, Haskell, 0KB, 下载0次)
用于在Coq中生成局部无名定义和证明的工具，与Ott合作，
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott, (2023-04-27, Haskell, 0KB, 下载0次)