Skip to content
View XujieSi's full-sized avatar

Highlights

  • Pro

Block or report XujieSi

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 Loading

  1. fse18-artifact-183 fse18-artifact-183 Public

    ALPS: Syntax-Guided Synthesis of Datalog Programs

    Python 7 1

  2. udacity-deep-learning-solution udacity-deep-learning-solution Public

    Tentative Solution for Udacity Deep Learning course taught by Vincent Vanhoucke

    Jupyter Notebook 3 1

  3. CS-381-Class-Project CS-381-Class-Project Public

    Fair Use of a Scarce Shared Temporally Bounded Resource

    Python 2 1

  4. cleverhans cleverhans Public

    Forked from cleverhans-lab/cleverhans

    An adversarial example library for constructing attacks, building defenses, and benchmarking both

    Python 1

  5. gamepad gamepad Public

    Forked from ml4tp/gamepad

    A Learning Environment for Theorem Proving

    Coq 1

  6. Hello-world Hello-world Public

    This is a test