用于使用Petri网约简检查模型可达性属性的量词消除器。，
Quantifier eliminator for using Petri net reductions for model checking reachability properties., (2023-10-20, OCaml, 0KB, 下载0次)
Mirage的Xen Netfront和Netback以太网设备驱动程序，
Xen Netfront and Netback ethernet device drivers for Mirage, (2023-07-12, OCaml, 0KB, 下载0次)
可视化goi，一个将lambda术语翻译为证明网并在其上运行goi令牌机的图形工具
visual-goi,A graphical tool to translate lambda terms to proof nets and run GoI token machine on it (2016-04-24, OCaml, 22KB, 下载0次)