Block or report user

Report or block spinda

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@frc604 @ucsd-progsys @devtools-html

Pinned repositories

  1. devtools-html/rust-cdp

    🔨 Chrome DevTools Protocol toolkit for Rust

    Rust 13 2

  2. hyper-websocket

    🌐 Upgrade hyper HTTP requests to WebSocket connections (server-side)

    Rust 3

  3. websocket-transport

    📻 Easy async WebSocket wrapper which implements Stream + Sink for String

    Rust 2

  4. frc604/frcreplay

    📺 Videos of FIRST Robotics matches, recorded automatically & uploaded in minutes

    Python 7 1

  5. imagenetscraper

    👁 Bulk-download all thumbnails from an ImageNet synset, with optional rescaling

    Python 15 3

  6. runstone

    ⌚ Android + Pebble app for timing my morning run

    Kotlin 2

276 contributions in 2015

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

Contribution activity

April 2015

Created their first repository

Michael Smith created their first repository!

First repository

Private repository

Created a pull request in ucsd-progsys/liquidhaskell that received 12 comments

Detect and error out on RFun refinements instead of discarding them

Fixes the rest of #292. Tests should pass, but please wait for them to finish before merging.

+113 −77 12 comments

Created an issue in travis-ci/travis-ci that received 2 comments

APT whitelist request for ocaml and camlidl

ocaml is the OCaml compiler/language/libraries: https://ocaml.org/ camlidl is required for Caml↔C bindings: http://caml.inria.fr/pub/old_caml_site/…

2 comments
10 contributions in private repositories Apr 11 – Apr 30

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