Block or report user

Organizations

@gnieh @KTH

Pinned repositories

  1. INRIA/spoon

    Spoon is a library to analyze, transform, rewrite, transpile Java source code (incl Java 9 modules). It parses source files to build a well-designed AST with powerful analysis and transformation AP…

    Java 522 111

  2. SpoonLabs/nopol

    Automatic repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

    Java 33 20

  3. SpoonLabs/astor

    automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jMutRepair - jKali - DeepRepair - Cardumen

    Java 50 29

  4. Spirals-Team/repairnator

    a software development bot that automatically repairs build failures on Travis Continuous Integration

    Java 11 4

  5. GumTreeDiff/gumtree

    A neat code differencing tool

    Java 187 63

  6. KTH/CodRep-competition

    A machine learning competition on source code data, with talent and taste. End of the competition: October 14th 2018.

    Python 36 8

1,129 contributions in the last year

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

Contribution activity

June 2018

Created a pull request in INRIA/spoon that received 2 comments

feature: add CtAnnotation#getAllValues to reason about all annotation values

add CtAnnotation#getAllValues to reason about all annotation values regardless of whether they are defined in the annotation or as default value.

+34 −0 2 comments

Created an issue in mitchellkrogza/nginx-ultimate-bad-bot-blocker that received 4 comments

question: how to parse globalblacklist.conf in python?

The distinction between good and bad user-agents is very interesting. I want to add this information in https://github.com/monperrus/crawler-user-a…

4 comments

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