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

Organizations

@sr-lab

Block or report Nfsaavedra

Report abuse

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

Report abuse

Pinned Loading

  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 30 15

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

    Python client for coq-lsp

    Python 50 7

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

    A Reproducible Benchmark of Recent Java Bugs

    Python 50 10

  4. gitbugactions/gitbugactions gitbugactions/gitbugactions Public

    βš™οΈ A tool for collecting executable code datasets with GitHub Actions βš™οΈ

    Python 23 7

  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 8