Python framework for designing & analyzing superconducting quantum chips. Lite-by-default, headless-friendly, EDA-grade.

KLayout Python library for integrated quantum circuit design.

ARTEMIS (Adaptive mesh Refinement Time-domain ElectrodynaMIcs Solver) couples the Maxwell's equations implementation in WarpX with classical equations that describe quantum material behavior (such as, LLG equation for micromagnetics and London equation for superconducting materials) for quantifying the performance of next-generation microelectro…

Example notebooks for using KQCircuits

Measurement scripts for the OCS QP project using `qua` and `labber` mostly

Kernel-checked certification of QLDPC decoder outputs: Lean 4 verified checkers, two-sided per-run certificates (success AND failure witnesses), HMAC-chained audit logs, and Lean-emitted synthesizable RTL (1–2k gates, measured). Bivariate bicycle codes, 72–288 qubits. GPLv3 / commercial dual-license.

Parametric study of a superconducting transmon qubit coupled to a CPW meander resonator. Mapped pad geometry to qubit frequency and anharmonicity using Qiskit Metal + scqubits.