Skip to content


  • Arctic Code Vault Contributor


@coollogic @dividat

Popular repositories

  1. Specify REST API stubs using your file system.

    Ruby 288 9

  2. A Java to JavaScript compiler

    JavaScript 7 1

  3. Timed sleep & shutdown from Mac OS X’s Dashboard.

    JavaScript 3 1

  4. Stylus assets for Play 2.0

    Scala 3 11

  5. Article about structuring code for large single-page applications


  6. Coq-verified statements about lambda calculi.

    Coq 3 1

1,467 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to dividat/playos, dividat/elm-semver, dividat/driver and 5 other repositories

Contribution activity

August 2020

54 contributions in private repositories Aug 3 – Aug 13

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

You can’t perform that action at this time.