Skip to content
Avatar
  • Block or report user

    Block or report mantognini

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
63 followers · 23 following · 184

Highlights

  • Arctic Code Vault Contributor

Organizations

@lampepfl @epfl-lara @SFML @sherlok

Pinned

  1. SFML/SFML

    Simple and Fast Multimedia Library

    C++ 6.4k 1.2k

  2. epfl-lara/stainless

    Verification framework and tool for higher-order Scala programs

    HTML 237 38

  3. scala-vs-gpu

    Scala Parallel Collections VS GPU Frameworks

    C++ 5 1

  4. GenC

    Slides and report for GenC project in Leon

    C 3

  5. Image-Skeletonisation

    A performance comparison with Thrust

    C++

  6. LIENL

    Large-scale Information Extraction from Neuroscientific Literature

    TeX 1

65 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

December 2020

Created 6 commits in 2 repositories

Created a pull request in google/clspv that received 2 comments

Lower CmpInst, SelectInst, and OpenCL select()

Continuing submission for #613, this adds support for some additional instructions. As always, feedback welcome. Mark PHINode as unsupported for n…

+323 −2 • 2 comments
Opened 3 other pull requests in 1 repository
Reviewed 4 pull requests in 1 repository

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

You can’t perform that action at this time.