Skip to content
@colis-anr

CoLiS

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

Pinned Loading

  1. morbig morbig Public

    A static parser for POSIX Shell

    OCaml 193 8

  2. colis-language colis-language Public

    A symbolic analyser for shell scripts.

    OCaml 22 2

Repositories

Showing 10 of 12 repositories
  • morbig Public

    A static parser for POSIX Shell

    colis-anr/morbig’s past year of commit activity
    OCaml 193 8 29 5 Updated Dec 20, 2023
  • morsmall Public

    A concise AST for POSIX shell

    colis-anr/morsmall’s past year of commit activity
    OCaml 10 GPL-3.0 4 9 1 Updated Sep 17, 2023
  • colis-constraints Public

    Constraints backend for the CoLiS Symbolic Interpreter

    colis-anr/colis-constraints’s past year of commit activity
    OCaml 1 0 0 0 Updated Sep 17, 2021
  • colis-batch Public

    A tool to run colis-language on packages and corpora of packages

    colis-anr/colis-batch’s past year of commit activity
    OCaml 0 0 2 0 Updated Sep 17, 2021
  • colis-language Public

    A symbolic analyser for shell scripts.

    colis-anr/colis-language’s past year of commit activity
    OCaml 22 2 11 1 Updated Sep 17, 2021
  • colis-model Public

    Model-based and specification based testing of Colis

    colis-anr/colis-model’s past year of commit activity
    0 0 0 0 Updated Jun 14, 2021
  • lintshell Public

    A user-extensible lint for POSIX shell

    colis-anr/lintshell’s past year of commit activity
    OCaml 11 0 3 0 Updated Sep 16, 2019
  • ocaml-libdpkg Public

    A wrapper around libdpkg for OCaml.

    colis-anr/ocaml-libdpkg’s past year of commit activity
    OCaml 0 0 1 0 Updated Apr 10, 2019
  • shstats Public

    A statistical analyzer for corpora of shell scripts

    colis-anr/shstats’s past year of commit activity
    OCaml 3 GPL-3.0 0 7 0 Updated Apr 9, 2019
  • colis-covering-report Public

    Reports for CoLiS-batch

    colis-anr/colis-covering-report’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 4, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…