Pinned Loading

1. HM0880.github.io HM0880.github.io Public

   My website.

   HTML

2. knot-mosaics knot-mosaics Public

   Encode knot mosaics as a SAT formula and solve with a SAT solver.

   Python 1 1

3. Qiskit/qiskit Qiskit/qiskit Public

   Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

   Python 8k 3.1k

4. Qiskit/qiskit-aer Qiskit/qiskit-aer Public

   Aer is a high performance simulator for quantum circuits that includes noise models

   C++ 714 455