Skip to content

Highlights

  • Pro

Organizations

@mlberkeley

Popular repositories

  1. Forked from ajbrock/BigGAN-PyTorch

    The author's officially unofficial PyTorch BigGAN implementation.

    Python

  2. Forked from ml4tp/gamepad

    A Learning Environment for Theorem Proving

    Coq

126 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

July 2020

ChrisBender has no activity yet for this period.

June 2020

6 contributions in private repositories Jun 4 – Jun 11

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.