yes https://github.com/azzamsa/awesome-lisp-companies https://github.com/azzamsa/awesome-lisp-companies http://lisp-lang.org/success/ http://lisp-lang.org/suc

yes https://github.com/azzamsa/awesome-lisp-companies https://github.com/azzamsa/awesome-lisp-companies http://lisp-lang.org/success/ http://lisp-lang.org/success/ industrial theorem prover, design of Intel chips, quantum compilers... and little me, being more productive and having more fun than with python to deploy boring tools (read a DB, format the data, send to FTP servers, show a web interface...).