AIDE-QC Software
One of the major outputs of the project is the AIDE-QC Software Stack enabling its users to build application specific layers on top of language specifications, add new compiler tools, error mitigation tools, verification, validation, and debugging capabilities, and better optimizers. 

Software documentation can be found at

Source code is available on the AIDE-QC Github account

Other software packages supported and maintained by AIDE-QC include:

BQSKit, a compiler suite developed by LBNL through AIDE-QC/QAT4Chem (QFast) and AQT (QSearch) 

Scikit-Quant, as suite of classical optimizers for quantum optimization problems developed by QAT4Chem
and advanced and maintained by AIDE-QC.