Tootfinder

from my link log —
The one-more-re-nightmare regex engine for Common Lisp.
https://applied-langua.ge/posts/omrn-compiler.html
saved 2025-06-24

Adapting A Vector-Symbolic Memory for Lisp ACT-R
Meera Ray, Christopher L. Dancy
https://arxiv.org/abs/2508.15630 https://arxiv.org/pdf/2508.15630

Adapting A Vector-Symbolic Memory for Lisp ACT-R
Holographic Declarative Memory (HDM) is a vector-symbolic alternative to ACT-R's Declarative Memory (DM) system that can bring advantages such as scalability and architecturally defined similarity between DM chunks. We adapted HDM to work with the most comprehensive and widely-used implementation of ACT-R (Lisp ACT-R) so extant ACT-R models designed with DM can be run with HDM without major changes. With this adaptation of HDM, we have developed vector-based versions of common ACT-R functions, …

I'm working on a project which includes files written in both C and #Lisp; I'd like to have a common documentation generator for the whole project, to generate integrated documentation.
Has anyone made #Doxygen work with Lisp? Are there any recommendations for a documentation generator which …

An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19014 https://

An ACL2s Interface to Z3
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and interactive theorem proving. Lisp-Z3 is usable by anyone who would like to interact with Z3 from Common Lisp, as it does not depend on the availability of…