M4D-A

AstroNvimConfig

Braket-SPARKLE

Simple attack on SPARKLE toy cipher using Grover's algorithm in AWS Braket

Braket-SPECK

Simple algebraic attack on Speck ARX block cipher using Grover's Algorithm with AWS Braket SDK.

CUDA_MSM

EC MSM using CUDA accelerated Bucket algortihm

DPLL

DPLL SAT-solver implementation

PYQSAT

Grover based SATsolver in Python3 + Qiskit

QPP

Simple state vector QPU simulator and Quantum Sat Solver

SASAT

Simulated Annealing SAT Solver

sat_revsynth

Framework for synthesis of reversible logic using SAT-Solvers

M4D-A/CUDA_MSM

EC MSM using CUDA accelerated Bucket algortihm

M4D-A/AstroNvimConfig

M4D-A/Braket-SPARKLE

Simple attack on SPARKLE toy cipher using Grover's algorithm in AWS Braket

M4D-A/Braket-SPECK

Simple algebraic attack on Speck ARX block cipher using Grover's Algorithm with AWS Braket SDK.

M4D-A/DPLL

DPLL SAT-solver implementation

M4D-A/PYQSAT

Grover based SATsolver in Python3 + Qiskit

M4D-A/QPP

Simple state vector QPU simulator and Quantum Sat Solver

M4D-A/SASAT

Simulated Annealing SAT Solver

M4D-A/sat_revsynth

Framework for synthesis of reversible logic using SAT-Solvers

M4D-A/dotfiles

Files with dots worth keeping

M4D-A/M4D-A

Config files for my GitHub profile.

M4D-A/Qiskit-SPECK

M4D-A/Salsa20