1. snakes
    Python style generators for Common Lisp
  2. SNARK
    SNARK (SRI's New Automated Reasoning Kit) is described as "an automated theorem-proving program" being developed in Common Lisp
  3. SNePS
    SNePS (Semantic Network Processing System) is an AI system for building, using and retrieving information from propositional semantic networks
  4. SNMP
    Simple Network Management Protocol
  5. Snooze
    Snooze is an URL router for Common Lisp designed around REST web services
  6. snow
    Snow is a GUI description language for Java and Common Lisp, currently supporting the Swing UI library
  7. Solaris
    Sun's Unix platform, based on UNIX System V
  8. Solid-engine
    The Common Lisp stack-based application controller (web framework)
  9. Soundex
    The Soundex algorithm indexes words by their sound when pronounced in English, for example to account for differences in spelling
  10. SOUNDLAB
    Lazy signal synthesis based on combinators