开发微信小程序，主要使用的是微信官方提供的开发工具和一系列的开发框架、库以及API。微信官方并没有直接提供一个“软件”来“编程开发”小程序，而是提供了一个集成开发环境（IDE）和一些必要的开发资源。

微信开发者工具是官方提供的一个桌面应用，它集成了代码编辑、调试、预览和发布等功能。开发者可以使用这个工具来开发、调试和预览小程序，以及上传代码到微信服务器进行发布。

下载与安装：开发者可以从微信公众平台官网下载并安装微信开发者工具。

功能特点：

代码编辑：支持JavaScript、WXML、WXSS等文件的编辑，提供语法高亮、代码提示等功能。

模拟器：内置模拟器可以模拟不同型号的手机屏幕，方便开发者进行预览和调试。

真机调试：支持通过扫码的方式在真机上预览和调试小程序。

调试工具：提供控制台、网络请求、性能分析等多种调试工具。

项目管理：支持多个项目的创建、管理和切换。

微信小程序的开发主要基于微信官方提供的开发框架和库。

小程序框架：微信小程序的框架提供了一套丰富的组件和API，帮助开发者快速构建小程序界面和逻辑。

WXML：微信小程序的标记语言，类似于HTML，用于描述页面的结构。

WXSS：微信小程序的样式表语言，类似于CSS，用于描述页面的样式。

JavaScript：用于编写小程序的逻辑代码，包括页面的交互逻辑、数据处理等。

除了微信官方提供的开发框架和库外，还有许多第三方库和框架可以帮助开发者更高效地开发小程序。这些库和框架可能提供了更丰富的组件、更便捷的API调用方式、更高效的性能优化等。但是，使用第三方库和框架时需要注意其兼容性和稳定性，避免引入不必要的风险。