CRAM is a toolbox for designing, implementing and deploying software on autonomous robots. The framework provides various tools and libraries for aiding in robot software development as well as geometric reasoning and fast simulation mechanisms to develop cognition-enabled control programs that achieve high lev- els of robot autonomy. CRAM also provides tools for introspection that enable the robots to reason about their past executions and improve by autonomously optimizing their plans.
Institute for Artificial Intelligence of the University of Bremen
https://github.com/cram2/cram
Institute for Artificial Intelligence of the University of Bremen
https://ai.uni-bremen.de/research/cram
add a Robotics section?
I don't think it would go on awesome-lisp-companies.