I think they tried to rewrite it in C++ and failed, so it’s still mostly in CL last I heard. I think they have an internally-maintained fork of sbcl and a core

I think they tried to rewrite it in C++ and failed, so it’s still mostly in CL last I heard. I think they have an internally-maintained fork of sbcl and a core maintainer of sbcl on payroll.