Giters
Coccinelle (coccinelle)

Coccinelle

coccinelle

Geek Repo

Github PK Tool:Github PK Tool

Coccinelle's repositories

coccinelle

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

Language:OCamlLicense:GPL-2.0Stargazers:592Issues:33Issues:322

coccinellery

Language:CLicense:NOASSERTIONStargazers:106Issues:18Issues:2

faults-in-Linux

Experimental bed to study Linux faults

Language:OCamlLicense:GPL-2.0Stargazers:24Issues:11Issues:3

herodotos

Tracking code patterns through software versions

Language:OCamlLicense:GPL-2.0Stargazers:23Issues:12Issues:1

hBugs

Compute statistical data about bug reports

Language:HaskellLicense:GPL-2.0Stargazers:5Issues:3Issues:0

linux-study-figures

http://faultlinux.inria.fr/

Language:MakefileStargazers:4Issues:6Issues:0