-
ML2021-Spring Public
Forked from ga642381/ML2021-Spring李宏毅 (Hung-Yi Lee) 機器學習 Machine Learning 2021 Spring
Jupyter Notebook UpdatedJun 11, 2021 -
Killer-Sudoku Public
This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang
-
qiskit-tutorials Public
Forked from Qiskit/qiskit-tutorialsA collection of Jupyter notebooks showing how to use the Qiskit SDK
Jupyter Notebook Apache License 2.0 UpdatedApr 10, 2021 -
LSV-PA Public
Forked from NTU-ALComLab/LSV-PALogic Synthesis and Verification: Programming Assignments
C Other UpdatedDec 10, 2020 -
-
stripe-ctf-2.0 Public
Forked from stripe-ctf/stripe-ctf-2.0Capture the Flag: Web Edition https://stripe.com/blog/capture-the-flag-20
Python UpdatedJul 27, 2015
{{ message }}