language-promela Atom language support for Promela ubinix-warun 1,828 1 0.4.0 MIT GitHub Share Package Link MarkDown Link Iconic MarkDown Link Install #Promela language support in Atom Build Status based on language-c (proof of concept)