A game of truly quantum chess, with interference, entanglement, etc.

An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Quantum programming language putting entanglement and superposition front and center

Protein structure comparison tools such as SSAP and SNAP

Quantum Random Number Generator

Quantum Connect Four

An introduction guide designed to introduce Quantum Programming concepts with Qiskit.

Rna Alignment With Tree Edit Distance

A game designed for a quantum computer.

Cosmological Parameter estimation using Bayesian Machine Learning

Quantum Computing Basics Using Python projectq

Superposition of n i.i.d. one dimensional point processes according to " On the Superposition of Renewal Processes" D. R. Cox and Walter L. Smith

Quantum Bubble

My journey in Quantum Computing on an IBM Quantum Computer accessed through Cloud

reimplementing quantum algorithms

Superposition-based Protein Embedded CA SC score