🇹🇹
Highlights
- Pro
Starred repositories
Provides a language for specifying quantum networks (in the form of "recipes"), and a collection of analytical and numerical tools for evaluating their performance.
Formally Verified Arguments of Knowledge in Lean
Quantum Hardware Design. Open-source project for engineers and scientists to design superconducting quantum devices with ease.
Software for decoding classical and quantum codes
Interactive ZX-calculus demos: quantum circuit optimization, T-count reduction, teleportation visualization with PyZX
Pythonic quantum-classical programming language
Generator of runtime monitors for flight and robotics applications.
Quantum error correction based on non-binary LDPC codes
Quantomatic is a tool for doing automated graph rewriting.
This repo contains CUDA-Q Academic materials, including self-paced Jupyter notebook modules for building and optimizing hybrid quantum-classical algorithms using CUDA-Q.
Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
3D finite element solver for computational electromagnetics
An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3
A JIT compiler for hybrid quantum programs in PennyLane
Lecture notes for Qiskit Global Summer School 2025
Deltakit Textbook: A hands-on introduction to Quantum Error Correction concepts
Source code and materials for the "Quantum Computing for Computer Engineering Department" workshop at the University of Tripoli (Aug 31 - Sep 2).
Data accompanying the paper "A Study of Error Floor Behavior in QC-MDPC Codes"
A platform for the execution and analysis of Python scripts utilizing OpenFHE.