Skip to content
View shumpaga's full-sized avatar
20 followers · 29 following
  • Paris, France

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report shumpaga

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. curriculum_vitae curriculum_vitae Public

    My CV (Updated on 13 October 2018).

    TeX

  2. smartxp smartxp Public

    JavaScript 1

  3. django-academic-website django-academic-website Public

    JavaScript

  4. spot-mirror spot-mirror Public

    C++

  5. fastSAT fastSAT Public

    A bench of different SAT-solvers using Spot (https://spot.lrde.epita.fr/).

    C++

  6. spot-internship-report spot-internship-report Public

    The report of my internship at the EPITA's Research and Development Laboratory (LRDE). I worked on Spot, a C ++ library of model checking.

    TeX