Crypticl (A Common Lisp cryptographic library) is a library of cryptographic functions with the goal "to provide flexible, high level cryptographic abstractions on top of a kernel of core cryptographic primitives". It currently includes the AES, IDEA, SHA-1, DSA and RSA primitives. It also comes with Obol, "a special purpose programming language for implementing security protocols of the kind used in SSL, SSH and Kerberos" that illustrates how Crypticl can be used.