At the recent Semantic Technology for Intelligence, Defense, and Security Conference (STIDS 2012) two CMU researchers presented their work that includes some interesting Lisp based tools.
http://cnet.co/S9Sy04
ACT-R the theory is embodied in ACT-R the software, as a set of functions and algorithms implemented in Common Lisp. Since the ACT-R implementation lives in Lisp, the aspiring cognitive modeler must also have access to some Lisp environment, or use the standalone version of the ACT-R Environment.
