Watch 刘毅/compilation-optimization-autotuning-qiskit-master

Watch 刘毅/CLIP

Watch 刘毅/pyvoqc

Watch mathlib/exprAuto

数学表达式自动等价变换 支持表达式代码自动生成、浮点误差自动化测试 支持区间划分和表达式重写等多项精度优化技术

Watch 刘毅/Pendulum-v0_PPO_In_TF2.8

Watch mathlib/FPED

浮点表达式误差检测及优化

Watch 刘毅/isq forked from arclightquantum/isq

a part of quantum software toolkit of Institute of Software, Chinese Academy of Science

Watch 刘毅/exprAuto forked from mathlib/exprAuto

基于llvm教程My First Language Frontend with LLVM Tutorial（https://llvm.org/docs/tutorial/index.html）实现。 在其基础上，扩展实现表达式等价变换、mpfr代码生成