| 名称 | 作者 | 搜索方式 | 编程语言 | 平台 | 网址 | 备注 |
|---|---|---|---|---|---|---|
| apgsearch (2.0 以上版本) | Adam P. Goucher | 汤 | C++ | 64 位 Linux | GitLab | |
| apgsearch (1.x 版) | Adam P. Goucher | 汤 | Python | Golly 脚本 | Catagolue | |
| ikpx | Adam P. Goucher | SAT 问题 | Python | 跨平台 | GitLab | 仅支持生命游戏 |
| Logic Life Search | Oscar Cunningham | SAT 问题 | Python | 号称跨平台（Windows 下需要 Cygwin） | GitHub | 需要自备 SAT Solver |
| gfind | David Eppstein | 见相关论文 | C | 跨平台 | 代码 | 专搜飞船 |
| gsearch | David Eppstein | 给定范围里的暴力搜索 | C | 跨平台 | 代码 | 很慢 |
| ofind | David Eppstein | 类似于gfind | C | 跨平台 | 代码 | 专搜振荡子 |
| lifesrc | David Bell | Dean Hickerson 发明的算法，回溯法 | C | 跨平台 | 代码 | |
| JavaLifeSearch | Karel Suhajda | 同 lifesrc | Java | 跨平台 | 帖子 | lifesrc 的 Java 版 |
| WinLifeSearch | Jason Summers | 同 lifesrc | C | Windows | 官网 | lifesrc 的 Windows（图形界面）版 |
| catalyst) | Gabriel Nivasch | 静物与给定图样的反应 | C++ | 跨平台 | 代码 | 专搜催化 |
| Random Agar | Gabriel Nivasch | 类似于汤 | C++ | 跨平台 | 代码 | 专搜琼脂 |
| CatForce | simsim314 | 暴力搜索？ | C++ | 跨平台 | Github | 专搜催化 |
| yfind | strake | SMT | Haskell | 跨平台 | Github | 需要 Z3 |
| qfind | Matthias Merzenich | 类似 gfind | C | 跨平台 | 帖子 | |
| zfind | zdr | 类似 gfind | C++ | 跨平台 | Github | |
| life slice ship search | Andrew Wade | 见其 Readme | Rust | Linux | GitLab |