[freemint]

You might want to get into contact with CA Schafmeister which also develops a Common Lisp implementation clasp with focus on HPC.