CoLiS

icon indicating a website link http://colis.irif.fr/

icon location Inria Lille, Inria Saclay, Université Paris-Diderot icon location GitHub organisation for the ANR project ANR-15-CE25-0001

Results 2 repositories owned by CoLiS

morbig

187
Stars
8
Forks
Watchers

A static parser for POSIX Shell

verified publisher icon colis-anr

colis-language

21
Stars
1
Forks
Watchers

A symbolic analyser for shell scripts.

verified publisher icon colis-anr