Skip to content
View jasbrocoli's full-sized avatar
Block or Report

Block or report jasbrocoli

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

Popular repositories

  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