Popular repositories Loading

1. Killer-Sudoku Killer-Sudoku Public

   This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang

   C++ 3 2

2. Dev Dev Public

3. stripe-ctf-2.0 stripe-ctf-2.0 Public

   Forked from stripe-ctf/stripe-ctf-2.0

   Capture the Flag: Web Edition https://stripe.com/blog/capture-the-flag-20

   Python

4. LSV-PA LSV-PA Public

   Forked from NTU-ALComLab/LSV-PA

   Logic Synthesis and Verification: Programming Assignments

   C

5. qiskit-tutorials qiskit-tutorials Public

   Forked from Qiskit/qiskit-tutorials

   A collection of Jupyter notebooks showing how to use the Qiskit SDK

   Jupyter Notebook

6. ML2021-Spring ML2021-Spring Public

   Forked from ga642381/ML2021-Spring

   李宏毅 (Hung-Yi Lee) 機器學習 Machine Learning 2021 Spring

   Jupyter Notebook