Block or report user



Popular repositories

  1. IndentGuide

    Indent Guide plug-in for Eclipse

    Java 43 13

  2. amora

    The semantic search engine where anyone can define anything anywhere

    Scala 28 3

  3. sysprog

    Compiler für Systemnahes Programmieren an der HS Karlsruhe

    C++ 2


    Forked from scalapuzzlers/

    Github Pages behind


  5. mima-simulator

    A small MIMA simulator

    Scala 1

  6. kit-computer-science-summary

    summary of academic studies (computer science) in LaTeX


1,171 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in scala-ide/scala-ide that received 2 comments

Fix pr1144

Created an issue in sbt/zinc that received 2 comments

ClassNotFoundException: xsbti.SafeLazy in 1.0.0-X10

In zinc 1.0.0-X10, xsbti.SafeLazy has been renamed to xsbti.api.SafeLazy. In scala-ide I get the following error at runtime: java.lang.ClassNotFoun…

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