Popular repositories Loading

1. MequieChat MequieChat Public

   Trabalho de segurança

   Java

2. ALC-MaxSAT-scheduling ALC-MaxSAT-scheduling Public

   First Project for ALC (Algorithms of Computational Logic) envolving a MaxSat solver to compute the single machine scheduling problem

   Python 1

3. QHack2021 QHack2021 Public

   Forked from XanaduAI/QHack2021

   Official repo for QHack—the quantum machine learning hackathon

   Python

4. QHack QHack Public

   Forked from XanaduAI/QHack2022

   QHack—The one-of-a-kind quantum computing hackathon

   Python

5. QuantumSSP QuantumSSP Public

   A quantum circuit that solves a variation of the Subset Sum Problem (SSP)

   Python

6. SQIR SQIR Public

   Forked from inQWIRE/SQIR

   A Small Quantum Intermediate Representation

   Coq