Popular repositories Loading

1. coccinelle coccinelle Public

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

   OCaml 627 101

2. coccinellery coccinellery Public

   SmPL 108 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 23 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