Jak 1随机化器，目前有41种效果！，
Jak 1 Randomizer with currently 41 effects!, (2023-10-20, Common Lisp, 0KB, 下载0次)
独立类型集合论的证明检查器和交互式定理证明器，
a proof checker and interactive theorem prover for dependently typed set theory, (2017-05-16, Common Lisp, 0KB, 下载0次)
来自CS2800的问题，逻辑和计算，使用ACL2s（一个非常强大的定理证明器），
Problems from CS2800, Logic and Computation, that uses ACL2s (a very powerful theorem prover), (2017-04-13, Common Lisp, 0KB, 下载0次)
一个用普通口齿不清编写的玩具定理证明器，
A toy theorem prover written in common lisp, (2011-12-28, Common Lisp, 0KB, 下载0次)
在Lisp中使用SNF FOL的基本自动定理证明器，
A basic automated theorem prover using SNF FOL in Lisp, (2010-11-22, Common Lisp, 0KB, 下载0次)
Common Lisp中的定理证明器实验，
Theorem prover experiments in Common Lisp, (2020-12-12, Common Lisp, 0KB, 下载0次)
通用Lisp数值常微分方程解算器，
Common Lisp numerical ordinary differential equation solvers, (2018-04-04, Common Lisp, 0KB, 下载0次)
一个将旧的Zeta-C C解释器转换为通用lisp的程序。，
A program that converts the old Zeta-C C interpreter to common lisp., (2013-06-13, Common Lisp, 0KB, 下载0次)
用于数学、着色器等的OpenGL实用程序。
OpenGL utilities for math, shaders, etc. (2020-09-28, Common Lisp, 0KB, 下载0次)
具有C和Common Lisp后端的基本线性代数编译器
Basic Linear Algebra compiler with C and Common Lisp backends (2023-06-05, Common Lisp, 0KB, 下载0次)