Block or report user


@BlueBrain @lampepfl @epfl-lara @SFML @sherlok

Pinned repositories


    Simple and Fast Multimedia Library

    3,056 C++

  2. epfl-lara/leon

    The Leon system for verification, synthesis, and more.

    89 Scala

  3. scala-vs-gpu

    Scala Parallel Collections VS GPU Frameworks

    4 C++

  4. GenC

    Slides and report for GenC project in Leon

    0 TeX

  5. Image-Skeletonisation

    A performance comparison with Thrust

    0 C++

  6. LIENL

    Large-scale Information Extraction from Neuroscientific Literature

    1 TeX

624 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

September 2016

Created 24 commits in 1 repository

epfl-lara/leon 24 commits

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