8000 XujieSi (Xujie Si) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View XujieSi's full-sized avatar
41 followers · 22 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

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 reposit 76F2 ories 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. certigrad certigrad Public

    Forked from dselsam/certigrad

    Bug-free machine learning on stochastic computation graphs

    Lean 2 1

  5. cleverhans cleverhans Public

    Forked from cleverhans-lab/cleverhans

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

    Python 1

  6. gamepad gamepad Public

    Forked from ml4tp/gamepad

    A Learning Environment for Theorem Proving

    Coq 1

0