clasp is an answer set solver for (extended) normal and disjunctive logic programs. The primary algorithm of clasp relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).

RT provides a framework for writing regression test suites.

This is a Common Lisp library providing lambda shorthand macros aiming to be used in cases where the word lambda and the arguments are longer than the body of the lambda.

Clasp is a new Common Lisp implementation that seamlessly interoperates with C++ libraries and programs using LLVM for compilation to native code. This allows Clasp to take advantage of a vast array of preexisting libraries and programs, such as out of the scientific computing ecosystem. Embedding them in a Common Lisp environment allows you to make use of rapid prototyping, incremental development, and other capabilities that make it a powerful language.

A minimal testing framework for Common Lisp.

cl-amb provides an implementation of John McCarthy's ambiguous operator in portable Common Lisp.

This is a small testing framework for Common Lisp. The entire API consists of: test, is, signals, finishes, run, suite and setf suite.

Eos was a unit testing library for Common Lisp. It began as a fork of FiveAM; however, FiveAM development has continued, while that of Eos has not. Thus, Eos is now deprecated in favor of FiveAM.

Vom is a logging library for Common Lisp. It's goal is to be useful and small. It does not provide a lot of features as other loggers do, but has a small codebase that's easy to understand and use.

For is a library for an extensible iteration macro. It allows you to write concise looping constructs similar to loop and iterate. Unlike loop however it is extensible and sensible, and unlike iterate it does not require code-walking and is easier to extend.

F2cl is a Common Lisp library that can convert Fortran 77 code into Common Lisp code.

This is a portable Universal Resource Identifier library for Common Lisp programs. It parses URI according to the RFC 2396 specification.

This is a very simple implementation of SHA1 and HMAC-SHA1 for Common Lisp. The code is intended to be easy to follow and is therefore a little slower than it could be.

cl-smug is a library for parsing text, based on monadic parser combinators. Using a simple technique from the functional programming camp, cl-smug makes it simple to create quick extensible recursive descent parsers without funky syntax or impenetrable macrology.

DIFF is a package for computing various forms of differences between blobs of data and then doing neat things with those differences. Currently diff knows how to compute three common forms of differences: "unified" format diffs, "context" format diffs, and "vdelta" format binary diffs.

FSet is a functional set-theoretic collections library for Common Lisp. Functional means that all update operations return a new collection rather than modifying an existing one in place. Set-theoretic means that collections may be nested arbitrarily with no additional programmer effort; for instance, sets may contain sets, maps may be keyed by sets, etc.

FLOW is a flowchart graph library. Unlike other graphing libraries, this one focuses on nodes in a graph having distinct ports through which connections to other nodes are formed. This helps in many concrete scenarios where it is important to distinguish not only which nodes are connected, but also how they are connected to each other.

Particularly, a lot of data flow and exchange problems can be reduced to such a flowchart. For example, an audio processing library may present its pipeline as a flowchart of segments that communicate with each other through audio sample buffers. Flow gives a convenient view onto this kind of problem, and even allows the generic visualisation of graphs in this format.

YASON is a Common Lisp library for encoding and decoding data in the JSON interchange format.

KMRCL is a collection of utilities used by a number of Kevin Rosenberg's Common Lisp packages.

Babel is a charset encoding and decoding library, not unlike GNU libiconv, but completely written in Common Lisp.

This system is an implementation of the Common Lisp type system; particularly cl:typep and cl:subtypep.

This package provides a compute-effective-slot-definition-initargs generic function that allows for more ergonomic initialization of effective slot definition objects.

This is a trivial utility for distinguishing between a process running in a real terminal window and a process running in a dumb one, e.g. emacs-slime.

DEFLATE data, defined in RFC1951, forms the core of popular compression formats such as zlib (RFC 1950) and gzip (RFC 1952). As such, Chipz also provides for decompressing data in those formats as well. BZIP2 is the format used by the popular compression tool bzip2.