Software build-automation tool written in Common Lisp
Convenience sockets library for GNU/Linux
A system for computer algebra and symbolic mathematics
The Ultimate Pack of Hindi Softwares read full description
File releases for sbcl-dragonfly on github
Research platform for SAT and other hard problems