夜跑打卡程序可以使用以下几种软件：
Keep：
这是一款集健身教学、跑步、骑行、交友及健身饮食指导、装备购买等一站式运动解决方案的应用。Keep也支持跑步打卡功能，用户可以通过它记录跑步路线和里程。
咕咚：
这是一款覆盖全球的全民运动社区软件，提供跑步、健身、马拉松骑行赛事活动平台。用户可以通过咕咚进行跑步打卡，并与其他运动爱好者互动。
悦跑圈：
这是一款过亿用户使用的跑步计步应用，提供跑步、健身、徒步、骑行等运动数据记录与专业指导。悦跑圈还通过红包和游戏化的运动玩法鼓励用户运动。
乐动力：
这是一款可以全面监测每日运动状态的应用，提供运动数据全面管理，科学运动指导。虽然文档中未明确提到乐动力是否支持夜跑打卡，但考虑到其功能，它也可以是一个选择。
华为运动健康：
这是华为推出的运动健康应用，提供运动数据记录、健康数据管理等功能。用户可以通过华为运动健康进行跑步打卡。
这些软件都提供了跑步打卡的功能，用户可以根据自己的需求和喜好选择合适的软件进行使用。