Repositories list

• morbig

  Public
  A static parser for POSIX Shell

  shellparseparsing+ 7ocaml-libraryshell-scriptshell-scriptsposix-shconcrete-syntax-treesocamlposix

  OCaml

  •

  Other

  •8•193•29•5•Updated Dec 20, 2023Dec 20, 2023

• morsmall

  Public
  A concise AST for POSIX shell

  shellocaml

  OCaml

  •

  GNU General Public License v3.0

  •4•11•9•1•Updated Sep 17, 2023Sep 17, 2023

• colis-constraints

  Public
  Constraints backend for the CoLiS Symbolic Interpreter

  OCaml

  •0•1•0•0•Updated Sep 17, 2021Sep 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, 2021Sep 17, 2021

• colis-language

  Public
  A symbolic analyser for shell scripts.

  OCaml

  •2•22•11•1•Updated Sep 17, 2021Sep 17, 2021

• colis-model

  Public
  Model-based and specification based testing of Colis

  0•0•0•0•Updated Jun 14, 2021Jun 14, 2021

• lintshell

  Public
  A user-extensible lint for POSIX shell

  lintlintinglinter+ 3shell-scriptshellcheckposix

  OCaml

  •0•11•3•0•Updated Sep 16, 2019Sep 16, 2019

• ocaml-libdpkg

  Public
  A wrapper around libdpkg for OCaml.

  OCaml

  •0•0•1•0•Updated Apr 10, 2019Apr 10, 2019

• shstats

  Public
  A statistical analyzer for corpora of shell scripts

  OCaml

  •

  GNU General Public License v3.0

  •0•3•7•0•Updated Apr 9, 2019Apr 9, 2019

• colis-covering-report

  Public
  Reports for CoLiS-batch

  HTML

  •0•0•0•0•Updated Feb 4, 2019Feb 4, 2019

• ftwu

  Public
  An implementation for feature trees with updates

  OCaml

  •0•2•0•0•Updated Oct 15, 2018Oct 15, 2018

• sourcil-poc

  Public
  OCaml

  •

  GNU General Public License v3.0

  •0•2•1•0•Updated Sep 18, 2018Sep 18, 2018