Dépôts de coccinelle

2 dépôts publics de coccinelle au catalogue, du plus étoilé au moins étoilé.

Voir coccinelle sur GitHub