Grep.app est un moteur de recherche en ligne qui permet d’effectuer des recherches par expressions régulières au sein de plus de 500 000 dépôts Git publics hébergés sur GitHub.
Définitions DigitalLexiques des métiers du digital et du numérique
Définitions DigitalGrep.app est un moteur de recherche en ligne qui permet d’effectuer des recherches par expressions régulières au sein de plus de 500 000 dépôts Git publics hébergés sur GitHub.