Some pointers: Scorecloud (https://scorecloud.com/ https://scorecloud.com/), a music composition software (you sing, it writes music) comes from research, and i

Some pointers: Scorecloud (https://scorecloud.com/ https://scorecloud.com/), a music composition software (you sing, it writes music) comes from research, and is built in Common Lisp. pgloader was rewritten from Python to Lisp: https://tapoueh.org/blog/2014/05/why-is-pgloader-so-much-faster/ https://tapoueh.org/blog/2014/05/why-is-pgloader-so-much-fas... because of Python's poor performances and threading capacities. A theorem prover used in the industry: https://github.com/acl2/acl2 https://github.com/acl2/acl2 A Lisp vendor selling semantic graph solutions: https://franz.com/ https://franz.com/ (see also its success stories for industry examples) Here's a sadder story: a team switched from CL to Go for production, but still use CL for prototyping: https://lisp-journey.gitlab.io/blog/pro-mailing-list-on-common-lisp-and-parallel-gc/ https://lisp-journey.gitlab.io/blog/pro-mailing-list-on-comm... Some use CL in bioinformatics (and claim it's the best tool for the job). For example, they create a new Lisp implementation: https://github.com/clasp-developers/clasp https://github.com/clasp-developers/clasp More success stories: https://lisp-lang.org/success/ https://lisp-lang.org/success/