Coccinelle

Pinned Repositories

coccinelle
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Language:OCaml596 33 325101
coccinellery
Language:C107 18 222
faults-in-Linux
Experimental bed to study Linux faults
Language:OCaml24 12 312
hBugs
Compute statistical data about bug reports
Language:Haskell5 3 05
herodotos
Tracking code patterns through software versions
Language:OCaml23 12 110
linux-study-figures
http://faultlinux.inria.fr/
Language:Makefile4 6 02

Coccinelle's Repositories

coccinelle/coccinelle
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Language:OCaml596 33 325101
coccinelle/coccinellery
Language:C107 18 222
coccinelle/faults-in-Linux
Experimental bed to study Linux faults
Language:OCaml24 12 312
coccinelle/herodotos
Tracking code patterns through software versions
Language:OCaml23 12 110
coccinelle/hBugs
Compute statistical data about bug reports
Language:Haskell5 3 05
coccinelle/linux-study-figures
http://faultlinux.inria.fr/
Language:Makefile4 6 02