您可以使用以下微信小程序来查询房子信息：
房天下+：
支持按楼盘名关键字搜索，还可以通过开发商名称或地名进行检索。检索结果可以按区域、价格、户型等维度进行筛选。
安居客房产：
提供新房、二手房和租房房源的信息发布，用户可以在小程序中查找房源信息，并联系房产经纪人进一步了解房源更多的信息。
腾讯房产小助手：
腾讯房产基于微信小程序平台开发的一款“房贷计算器”小程序，用户可以通过好友分享或在楼盘售楼处等处扫描二维码进入，了解其整体购买力和承受能力。
链家房屋估价：
链家出品的基于链家自有的大数据库，为用户提供房屋估价的小程序。用户输入关注的小区名称、面积、户型、朝向等基本信息，即可得到该房屋估价。
昆明大数据查楼：
由昆明市房地产开发与经纪协会搭建，方便用户查询与房产相关的问题，数据来源于官方的网签备案数据。
建议您根据个人需求和偏好选择合适的小程序进行房产查询，以便更高效地找到合适的房源信息。