Skip to content
View M4D-A's full-sized avatar
🎯
Focusing
🎯
Focusing
7 followers · 8 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report M4D-A

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
M4D-A/README.md

In the beginning the Universe was created. This had made many people very angry and has been widely regarded as a bad move.

Pinned Loading

  1. sat_revsynth sat_revsynth Public

    Framework for synthesis of reversible logic using SAT-Solvers

    Python 1

  2. DPLL DPLL Public

    DPLL SAT-solver implementation

    C

  3. SASAT SASAT Public

    Simulated Annealing SAT Solver

    C

  4. Braket-SPECK Braket-SPECK Public

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

    Jupyter Notebook

  5. PYQSAT PYQSAT Public

    Grover based SATsolver in Python3 + Qiskit

    Python

  6. QPP QPP Public

    Simple state vector QPU simulator and Quantum Sat Solver

    C++