CoLiS

Repositories

• morbig

  A Static Parser for POSIX Shell

  shell parse parsing ocaml posix ocaml-library shell-script
  OCaml 5 90 24 4 Updated Mar 5, 2021

• colis-language

  A symbolic analyser for shell scripts.
  OCaml 1 15 11 1 Updated Feb 9, 2021

• morsmall

  A concise AST for POSIX shell
  OCaml GPL-3.0 3 7 5 1 Updated Oct 15, 2020

• colis-batch

  A tool to run colis-language on packages and corpuses of packages
  OCaml 0 0 2 0 Updated Mar 12, 2020

• lintshell

  A user-extensible lint for POSIX shell

  lint linting linter posix shell-script shellcheck
  OCaml 0 6 4 0 Updated Sep 16, 2019

• docs

  Documentations for software developped inside the ANR project CoLiS
  HTML 0 0 0 0 Updated Jul 28, 2019

• ocaml-libdpkg

  A wrapper around libdpkg for OCaml.
  OCaml 0 0 1 0 Updated Apr 10, 2019

• shstats

  A statistical analyzer for corpora of shell scripts
  OCaml GPL-3.0 0 2 7 0 Updated Apr 9, 2019

• colis-covering-report

  Reports for CoLiS-batch
  HTML 0 0 0 0 Updated Feb 4, 2019

• ftwu

  An implementation for feature trees with updates
  OCaml 0 2 0 0 Updated Oct 15, 2018

• sourcil-poc
  OCaml GPL-3.0 0 2 1 0 Updated Sep 18, 2018