Skip to content
@colis-anr

CoLiS

GitHub organisation for the ANR project ANR-15-CE25-0001

Pinned repositories

  1. A Static Parser for POSIX Shell

    OCaml 90 5

  2. A symbolic analyser for shell scripts.

    OCaml 15 1

Repositories

Top languages

Loading…

Most used topics

Loading…