GitHub topics: superposition

Repositories

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

Language: OCaml - Size: 29.3 MB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 145 - Forks: 18

18520339/uts-quantum-computing

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.

Language: Jupyter Notebook - Size: 2.9 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 6 - Forks: 3

tawssie/ZMPY3D

Python implementation of 3D Zernike moments with NumPy

Language: Python - Size: 15.4 MB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 10 - Forks: 2

tawssie/ZMPY3D_TF

Python implementation of 3D Zernike moments with Tensorflow

Language: Python - Size: 15.2 MB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

tawssie/ZMPY3D_CP

Python implementation of 3D Zernike moments with CuPy

Language: Python - Size: 15.2 MB - Last synced at: 9 days ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

tawssie/ZMPY3D_PT

Python implementation of 3D Zernike moments with PyTorch

Language: Python - Size: 15.4 MB - Last synced at: 23 days ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0

david-bogdan-r/ARTEM

RNA/DNA 3D structure alignment tool

Language: Python - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

PDBeurope/protein-cluster-conformers

Clusters protein chains based on CA distance difference

Language: Python - Size: 105 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 14 - Forks: 0

radi0sus/xyzoverlay

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.

Language: Python - Size: 8.18 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 3

dabacon/qsel

Quantum programming language putting entanglement and superposition front and center

Language: Python - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 42 - Forks: 19

mahbuba01/AI-and-ML-Resources-and-Quantum-Computing

A comprehensive collection of Artificial Intelligence and Quantum Computing resources, projects & research

Size: 10.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 7 - Forks: 2

DigiMancer3D/SPX

Super-Positioned Text [SuPosXt] Live encoded that's deterministic reversible

Language: HTML - Size: 8.7 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

gwirn/acetone

Blender object superposition tool

Language: Python - Size: 1.58 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

TheTrustyPwo/Superposition

🌊 Resource for learning waves superposition, interference and diffraction interactively!

Language: JavaScript - Size: 5.78 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

ericyoc/quantum_computation_refresher_poc

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

Language: Jupyter Notebook - Size: 604 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

rupeshtr78/quantum

Quantum Computing Basics Using Python projectq

Language: Python - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 6

Qiskit-Academy/practical-qiskit

A collection of easy to learn and practical Qiskit tutorials.

Language: Jupyter Notebook - Size: 935 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

gameywinehouse/Superposition_generator

A superposition generator using PRNG to output effectively randomized qubit states.

Language: Python - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

zeynepCankara/Introduction-Quantum-Programming

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

Language: Jupyter Notebook - Size: 5.31 MB - Last synced at: 7 months ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 2

caphindsight/TrulyQuantumChess

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

Language: C# - Size: 1.99 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 85 - Forks: 17

chamiyeah/Quantum-Rnadom-Number-Generator

Solve pseudo-randomness utilizing Quantum Superposition. Generate true random numbers.

Language: Q# - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

hahnec/multimodal_emg

Multimodal Exponentially Modified Gaussians with Optional Oscillation

Language: Jupyter Notebook - Size: 2.4 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 1

Spooky-Manufacturing/QRNG

Quantum Random Number Generator

Language: C - Size: 1.61 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 67 - Forks: 14

UCLOrengoGroup/cath-tools

Protein structure comparison tools such as SSAP and SNAP

Language: C++ - Size: 18.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 51 - Forks: 14

primaryobjects/sphere-spin

A quantum computing game, for matching-colored qubits, developed with ChatGPT4.

Language: Python - Size: 403 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Denny-Hwang/q-lottery-game Fork of tula3and/random-question-generator

Real Random Number Generation for Lottery-game using Qiskit

Language: Python - Size: 394 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

ToJen/quantum-connect-four

Quantum Connect Four

Language: Svelte - Size: 360 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1

HROlive/Basic-Quantum-Computing-Algorithms-and-Their-Implementation-in-Cirq

A course that includes topics such as an introduction to quantum computing and its applications (e.g., quantum teleportation), quantum entanglement and superposition (shown on Bernstein-Vazirani and Simon's algorithms), Grover's algorithm, the quantum Fourier transform and practical examples of its use (quantum phase estimation, Shor's algorithm).

Language: Jupyter Notebook - Size: 7.59 MB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

emilstahl97/Embedded-Electronics-IE1206 📦

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.

Size: 23.7 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 2

gyfis/rawted

Rna Alignment With Tree Edit Distance

Language: Python - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

danielzhangau/Electrical-Engineering-Learning-Material

Solution of simple AC and DC Circuits. Electrical units & measurements. Voltage, current, impedance. Equivalent circuits. Electrical energy & power. Resistors, inductors, capacitors, phasors, filters. Introduction to analog and digital telecommunication systems. Operational amplifiers, sensors & actuators, simple controllers. Use of laboratory instruments, simulators and mathematical software tools.

Size: 35.4 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0