Skip to content
View Nfsaavedra's full-sized avatar
πŸ₯‘
πŸ₯‘

Highlights

  • Pro

Organizations

@sr-lab
Block or Report

Block or report Nfsaavedra

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. sr-lab/GLITCH sr-lab/GLITCH Public

    GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

    Python 17 4

  2. sr-lab/coqpyt sr-lab/coqpyt Public

    Python client for coq-lsp

    Python 16 2

  3. gitbugactions/gitbug-java gitbugactions/gitbug-java Public

    A Reproducible Benchmark of Recent Java Bugs

    Python 18 4

  4. gitbugactions/gitbugactions gitbugactions/gitbugactions Public

    βš™οΈ A tool to build bug-fix benchmarks with GitHub Actions βš™οΈ

    Python 10 1

  5. community.aws community.aws Public

    Forked from ansible-collections/community.aws

    Ansible Collection for Community AWS

    Python

  6. puppetparser puppetparser Public

    puppetparser is a Python library to parse Puppet scripts into an object model

    Python 3