CIL project (@cil-project)
Guthub

cil-project

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    285
  • Global Org. Rank 33,283 (Top 11 %)
  • Registered almost 10 years ago
  • Most used languages
    OCaml
         100.0 %

Top repositories

1

cil

C Intermediate Language
OCaml
343
star
2

cil-plugin-skeleton

Build skeleton and examples of simple CIL plugins
OCaml
4
star
3

corocheck

Coroutine annotation checker
OCaml
4
star