1. PseudoScheme
    PseudoScheme is an implementation of the Scheme (R4RS) programming language in Common Lisp
  2. psgraph
    psgraph is a small package for generating PostScript pictures of directed acyclic graphs written by Joe Bates and mentioned here: Repositories of Lisp Software
  3. ptester
    ptester is a portable version of Franz's tester library
  4. Public Domain
    Works placed in the Public Domain are those to which the copyright has been relinquished
  5. Pupeno
    Hello, I'm Pupeno
  6. purgatory
    A client implementation of the Plan 9 File Protocol
  7. puri
    puri, Portable Universal Resource Identifier, is a library for parsing and representing URIs
  8. Purity Test
    "Have you ever ..." : a Common Lisp Purity Test
  9. PURL
    PURL provides a parser and defines a type for URLs as specified in RFC1738
  10. PVS Specification and Verification System
    The PVS Specification and Verification System is a verification system: that is, a specification language integrated with support tools and a theorem prover