Repositories list

• coccinelle

  Public
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

  OCaml

  •

  GNU General Public License v2.0

  •120120 forks in coccinelle/coccinelle•822822 stars in coccinelle/coccinelle•4444 issues in coccinelle/coccinelle•33 pull requests in coccinelle/coccinelle•Updated Sep 2, 2026Sep 2, 2026

• coccinellery

  Public
  SmPL

  •

  Other

  •2020 forks in coccinelle/coccinellery•115115 stars in coccinelle/coccinellery•22 issues in coccinelle/coccinellery•00 pull requests in coccinelle/coccinellery•Updated Jul 14, 2024Jul 14, 2024

• herodotos

  Public
  Tracking code patterns through software versions

  OCaml

  •

  GNU General Public License v2.0

  •99 forks in coccinelle/herodotos•2525 stars in coccinelle/herodotos•00 issues in coccinelle/herodotos•00 pull requests in coccinelle/herodotos•Updated Jun 18, 2024Jun 18, 2024

• faults-in-Linux

  Public
  Experimental bed to study Linux faults

  linuxlinux-kernelfault-localization+ 3

  linuxlinux-kernelfault-localizationfault-detectionfaultsfault-detection-classification

  OCaml

  •

  GNU General Public License v2.0

  •1111 forks in coccinelle/faults-in-Linux•2727 stars in coccinelle/faults-in-Linux•11 issue in coccinelle/faults-in-Linux•00 pull requests in coccinelle/faults-in-Linux•Updated Jul 12, 2022Jul 12, 2022

• linux-study-figures

  Public
  http://faultlinux.inria.fr/

  linuxlinux-kernelfault-detection+ 1

  linuxlinux-kernelfault-detectionfaults

  Makefile

  •22 forks in coccinelle/linux-study-figures•55 stars in coccinelle/linux-study-figures•00 issues in coccinelle/linux-study-figures•00 pull requests in coccinelle/linux-study-figures•Updated Dec 30, 2016Dec 30, 2016

• hBugs

  Public
  Compute statistical data about bug reports

  Haskell

  •

  GNU General Public License v2.0

  •55 forks in coccinelle/hBugs•66 stars in coccinelle/hBugs•00 issues in coccinelle/hBugs•00 pull requests in coccinelle/hBugs•Updated Aug 13, 2011Aug 13, 2011