Skip to content
😴
sleeping
😴
sleeping
Block or report user

Report or block varomodt

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@mit-crpg @GoogleCloudPlatform
Block or report user

Report or block varomodt

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. Course materials for ES.S20, The Mathematics of Toys and Games, taught at MIT/ESG in Spring 2014

    Shell

  2. compute Archived

    Forked from boostorg/compute

    A C++ GPU Computing Library for OpenCL

    C++

  3. clcc Archived

    Forked from ljbade/clcc

    Command line interface to the NVIDIA OpenCL compiler

    C

  4. A scaffold for new coq projects

    Coq

  5. Forked from peterson/atom-language-coq

    Coq language support for the Atom editor

    CoffeeScript

  6. things Archived

    sounds and their combination

21 contributions in the last year

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

Contribution activity

June 2020

varomodt has no activity yet for this period.

May 2020

19 contributions in private repositories May 12

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

You can’t perform that action at this time.