superposition topic

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...

sneeuwballen

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

caphindsight

Quantum Random Number Generator

Spooky-Manufacturing

Quantum programming language putting entanglement and superposition front and center

dabacon

Protein structure comparison tools such as SSAP and SNAP

UCLOrengoGroup