Skip to content
View igcontreras's full-sized avatar

Highlights

  • Pro

Organizations

@imdea-software @ciao-lang

Block or report igcontreras

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

Popular repositories Loading

  1. tfm-plantilla tfm-plantilla Public

    Forked from jsidrach/tfg-plantilla

    Plantilla en LaTeX para la Tesis Fin de Máster (MUIA-UPM)

    TeX 2 4

  2. ciao-search-examples ciao-search-examples Public

    Prolog

  3. sea-dsa sea-dsa Public

    Forked from seahorn/sea-dsa

    A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

    C++

  4. seahorn seahorn Public

    Forked from seahorn/seahorn

    SeaHorn Verification Framework

    C

  5. spacemacs spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp

  6. igcontreras.github.io igcontreras.github.io Public

    personal website

    HTML