An automatic theorem prover in OCaml for typed higher-order logic with e...
A game of truly quantum chess, with interference, entanglement, etc.
Quantum Random Number Generator
Protein structure comparison tools such as SSAP and SNAP
Quantum programming language putting entanglement and superposition fron...