Similar to ACT-R

Cyc

Cognitive architecture

Modularity of mind

Allegro Common Lisp

Axiom (computer algebra system)

CLISP

CLPython

Hemlock (text editor)

Grammarly

SLIME

Maxima (software)