Keba使用的编程软件包括以下几种：

K2编程软件：

K2是Keba的主要编程软件，它是一种图形化编程工具，通过拖拽和连接不同的功能块来构建自动化控制程序。K2支持条件语句、循环和事件触发器等，并提供丰富的调试和监控功能。

Keba Robotic Suite （KRS）：

KRS是一款专为Keba机器人而开发的集成开发环境（IDE），用于编写、调试和管理机器人应用程序。KRS支持多种编程语言，包括Keba机器人专用的KRL编程语言以及通用的C++和C语言。

Kemro Teach：

Kemro Teach是一款专为Keba示教器设计的编程软件，具有友好的用户界面和强大的功能，可以帮助用户轻松地进行程序编写和调试。

KEBA Automation Studio （KAS）：

KAS是KEBA开发的一款功能强大的集成开发环境（IDE），旨在为KEBA的自动化产品提供编程和开发支持。

CoDeSys：

除了K2，Keba的一些产品也使用CoDeSys作为编程软件。CoDeSys是一种常见的PLC（可编程逻辑控制器）编程软件，支持IEC 61131-3标准，提供了多种编程语言选项，包括梯形图、结构化文本和功能块图。

根据具体需求和使用的设备类型，用户可以选择合适的编程软件来进行Keba相关系统的开发。