A circuit toolkit
MIT License
Template C++ project using CMake, CTest, Catch, and a SuperBuild for dependencies such as Boost, ...
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
C++ truth table library
nextpnr portable FPGA place and route tool
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ parsing library for simple formats used in logic synthesis and formal verification
RevKit: Python quantum compilation library and framework
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
Source code for the book Real-Time C++, by Christopher Kormanyos
C++ command shell library