微信买菜程序的名称有多种，以下是一些常见的选择：
盒马鲜生：
阿里巴巴旗下的新零售平台，提供蔬菜、水果、肉类等多种生鲜商品。
叮咚买菜：
一款自营生鲜平台，主要提供蔬菜、豆制品、水果、肉禽蛋、水产海鲜等生鲜商品，无起送门槛和配送费。
十荟团：
微信小程序，提供社区团购服务，用户可以通过微信搜索“十荟团”下单购买生鲜商品，并到指定地点自提。
美团优选：
美团旗下的社区团购平台，提供各类生鲜商品和日用品，用户可以通过美团App或微信搜索“美团优选”下单购买。
多多买菜：
拼多多旗下的社区团购平台，用户可以通过微信搜索“多多买菜”下单购买生鲜商品，并到指定地点自提。
这些小程序各有特色，用户可以根据自己的需求和习惯选择合适的平台进行购物。建议多比较不同平台的优势和商品种类，选择最适合自己的买菜小程序。