GitHub repository: s-expressionists/ctype
Primary language: Common Lisp
Description: CL type system implementation