Block or report user

Pinned repositories

  1. JetBrains/intellij-scala

    Scala plugin for IntelliJ IDEA

    Scala 666 212

  2. go-lang-plugin-org/go-lang-idea-plugin

    Google Go language IDE built using the IntelliJ Platform

    Java 4.3k 514

  3. dining-philosophers-akka

    Solution to the Dining Philosophers Problem using akka

    Scala 2

  4. barrelfish

    Forked from BarrelfishOS/barrelfish

    Mirror of the official Barrelfish OS repository.


  5. youtrack-issue-classifier

    Machine learning algorithm that determines the subsystem of a reported issue

    Scala 1

  6. werewolves-app

    Android app to assign roles in Werewolves board game

    Java 1

238 contributions in the last year

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

Contribution activity First pull request Joined GitHub

June 2017

Created a pull request in python/mypy that received 5 comments

Rename --disallow-untyped-defs to --disallow-any=unannotated

Previously, we were talking about naming this flag was --disallow-any=untyped. However, I think it's not clear without knowing the old name of the …

Created an issue in python/mypy that received 9 comments

Multiple Inheritance Makes Mypy think an if branch is unreachable.

In the following example, the branch of an if-statement is not being typechecked. class Parent1: pass class Parent2: pass class Child(Parent1, Parent2

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