Skip to content
View kevindevos's full-sized avatar
1 follower · 1 following
  • Portugal

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report kevindevos

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

  1. alive2 alive2 Public

    Forked from AliveToolkit/alive2

    Automatic verification of LLVM optimizations

    C++

  2. dad_g19_2018_2019_dist_tuple_spaces dad_g19_2018_2019_dist_tuple_spaces Public

    DAD - Distributed Application Development - Distributed tuple space SMR and XL

    C#

  3. .emacs.d .emacs.d Public

    My emacs configuration files

    Emacs Lisp

  4. daniel3303/ssof-project daniel3303/ssof-project Public

    Projecto de Segurança de Software

    Python 1

  5. manuelvsousa/cnv-project manuelvsousa/cnv-project Public

    Java 1