a collection of macros for easy inclusion of type declarations for arguments in lambda lists. GNU GPL3
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
The Superior Lisp Interaction Mode for Emacs
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Algebraic data types in Common Lisp
Trivial type definitions for Common Lisp