Skip to content
@coccinelle

Coccinelle

Popular repositories Loading

  1. coccinelle coccinelle Public

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

    OCaml 646 104

  2. coccinellery coccinellery Public

    SmPL 109 22

  3. faults-in-Linux faults-in-Linux Public

    Experimental bed to study Linux faults

    OCaml 25 12

  4. herodotos herodotos Public

    Tracking code patterns through software versions

    OCaml 24 10

  5. hBugs hBugs Public

    Compute statistical data about bug reports

    Haskell 5 5

  6. linux-study-figures linux-study-figures Public

    http://faultlinux.inria.fr/

    Makefile 4 2

Repositories

Showing 6 of 6 repositories
  • coccinelle Public

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

    OCaml 646 GPL-2.0 104 55 1 Updated Mar 18, 2025
  • coccinellery Public
    SmPL 109 22 2 0 Updated Jul 14, 2024
  • herodotos Public

    Tracking code patterns through software versions

    OCaml 24 GPL-2.0 10 0 0 Updated Jun 18, 2024
  • faults-in-Linux Public

    Experimental bed to study Linux faults

    OCaml 25 GPL-2.0 12 1 0 Updated Jul 12, 2022
  • linux-study-figures Public

    http://faultlinux.inria.fr/

    Makefile 4 2 0 0 Updated Dec 30, 2016
  • hBugs Public

    Compute statistical data about bug reports

    Haskell 5 GPL-2.0 5 0 0 Updated Aug 13, 2011