CL-ID3 -
CL-ID3 is a pure Common Lisp implementation of the well-known ID3 AI/data-mining algorithm

cl-jointgen -
CL-JOINTGEN is a Common Lisp implementation of the Joint Generation Algorithm for computing the dual of a monotone boolean function

cl-satwrap -
CL-SATWRAP is a thin generic SAT solver interface to your favorite `industrial-strength' SAT solver: Whichever code wins the next SATRace competition, it is easily glued on as a new backend, no need to change your CL code

cl-unification -
CL-Unification is a full blown unification library, supporting unification over any Common Lisp objects (and not just lists and atoms)

CLLIB -
CLLIB is a varied collection of Common lisp tools and routines in CLOCC

Levenshtein -
The Levenshtein Distancealgorithm finds the minimum number of operations needed to transform one string into the other, where an operation is an insertion, deletion, or substitution of a single character

Soundex -
The Soundexalgorithm indexes words by their sound when pronounced in English, for example to account for differences in spelling

ulimyhmpqs -
ulimyhmpqs is an implementation of the Hypercube Multiple Polynomial Quadratic Sieve (HMPQS), an algorithm for the factorisation of large (up to about 110 digits, where the Number Field Sieve (NFS) algorithms become more efficient) integers