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