Coccinelle (@coccinelle)
Guthub

coccinelle

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    701
  • Global Org. Rank 19,412 (Top 7 %)
  • Registered about 14 years ago
  • Most used languages
    OCaml
         50.0 %
    Haskell
         16.7 %
    C
         16.7 %
    Makefile     16.7 %

Top repositories

1

coccinelle

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
OCaml
562
star
2

coccinellery

C
100
star
3

faults-in-Linux

Experimental bed to study Linux faults
OCaml
23
star
4

herodotos

Tracking code patterns through software versions
OCaml
22
star
5

hBugs

Compute statistical data about bug reports
Haskell
4
star
6

linux-study-figures

http://faultlinux.inria.fr/
Makefile
4
star