superposition topic
zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...
TrulyQuantumChess
A game of truly quantum chess, with interference, entanglement, etc.
QRNG
Quantum Random Number Generator
qsel
Quantum programming language putting entanglement and superposition front and center
cath-tools
Protein structure comparison tools such as SSAP and SNAP
protein-cluster-conformers
Clusters protein chains based on CA distance difference
AI-and-ML-Resources-and-Quantum-Computing
A comprehensive collection of Artificial Intelligence and Quantum Computing resources, projects & research
quantum-connect-four
Quantum Connect Four