language-promela
Atom language support for Promela
ubinix-warun 1,828 1 0.4.0 MIT GitHub

#Promela language support in Atom Build Status

based on language-c (proof of concept)