# GitHub repos by coccinelle [Home](https://repo.masters-masters.com/en) › [coccinelle](https://repo.masters-masters.com/en/owners/coccinelle) All 2 public GitHub repos by coccinelle in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by coccinelle 2 public repos by coccinelle in the catalog, most starred first. - [coccinelle/coccinelle · ★ 823 · OCaml · Beta](https://repo.masters-masters.com/en/repos/coccinelle/coccinelle) - [coccinelle/coccinellery · ★ 115 · SmPL · Prototype](https://repo.masters-masters.com/en/repos/coccinelle/coccinellery) ## See coccinelle on GitHub - [https://github.com/coccinelle](https://github.com/coccinelle) --- Data: GitHub