Skip to content
@colis-anr

CoLiS

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

Pinned Loading

  1. morbig Public

    A static parser for POSIX Shell

    OCaml 194 8

  2. 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

    OCaml 194 8 29 5 Updated Dec 20, 2023
  • morsmall Public

    A concise AST for POSIX shell

    OCaml 10 GPL-3.0 4 9 1 Updated Sep 17, 2023
  • colis-constraints Public

    Constraints backend for the CoLiS Symbolic Interpreter

    OCaml 1 0 0 0 Updated Sep 17, 2021
  • colis-batch Public

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

    OCaml 0 0 2 0 Updated Sep 17, 2021
  • colis-language Public

    A symbolic analyser for shell scripts.

    OCaml 22 2 11 1 Updated Sep 17, 2021
  • colis-model Public

    Model-based and specification based testing of Colis

    0 0 0 0 Updated Jun 14, 2021
  • lintshell Public

    A user-extensible lint for POSIX shell

    OCaml 11 0 3 0 Updated Sep 16, 2019
  • ocaml-libdpkg Public

    A wrapper around libdpkg for OCaml.

    OCaml 0 0 1 0 Updated Apr 10, 2019
  • shstats Public

    A statistical analyzer for corpora of shell scripts

    OCaml 3 GPL-3.0 0 7 0 Updated Apr 9, 2019
  • colis-covering-report Public

    Reports for CoLiS-batch

    HTML 0 0 0 0 Updated Feb 4, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…