isQ是一款 量子编程软件，它支持经典量子混合编程，能够灵活地描述各类复杂的量子算法。该软件由中国科学院软件研究所开发，并且已经正式开源发布，旨在为国内外从事量子计算研究和应用的单位及个人提供服务。

在语法层面，isQ支持包括经典和量子变量定义、自定义酉门、量子门及测量操作、循环、递归等经典控制流以及oracle定义等功能。在编译层面，isQ采用mlir框架，定义了一套特有的量子中间表示，并基于此提供高效的量子电路分解、量子电路优化和量子电路映射功能，最终可转化为多种流行的量子硬件指令集或量子底层语言。

此外，isQ平台还包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。开发团队还在研发isQ 2.0版本，并实现了多个版本的编译器以将isQ对接到不同的硬件平台或模拟器上。

建议对于从事量子计算研究和应用的个人或单位，可以关注并尝试使用isQ软件，以加速量子算法的开发和应用。