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, clauses, etc.

Quantum programming language putting entanglement and superposition front and center

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

Protein structure comparison tools such as SSAP and SNAP

Quantum Random Number Generator

Quantum Computing Basics Using Python projectq

A game designed for a quantum computer.

Superposition-based Protein Embedded CA SC score

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

Interactive Showcases of Quantum Tic-Tac-Toe Game and Shor's Algorithm for Integer Factorization, covering various Quantum Computing concepts like Quantum Gates, Superposition & Entanglement, Measurement & Collapse, or Quantum Fourier Transform & Phase Estimation, etc.

This course provides basic knowledge of circuit theory and electronics. It also provides knowledge of the various devices that can be found in a microcontroller and how these are supposed to be used.

Python 3 script for overlaying or superimposing two or more molecules. The overlayed / superimposed molecules can be displayed and the modified coordinates can be saved as xyz files. Coloring by atom or molecule is possible.

Real Random Number Generation for Lottery-game using Qiskit

Python implementation of 3D Zernike moments with NumPy

Quantum Connect Four

Multimodal Exponentially Modified Gaussians with Optional Oscillation

Numerical heat transfer code for external flows

A comprehensive refresher on the fundamental concepts and principles of quantum computation

Rna Alignment With Tree Edit Distance