GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Programming Languages → Promela

Top 5 Promela open source projects

1. pymolsnips
Pymolsnips is a library of PyMOL scripting language code fragments for several popular text editors.
✭ 19
Vim SnippetPromelaHTMLYASnippetatomsnippetsautocompletiontextmategeditpymolsublime-text-3pmlvscst3cudatextmolecular-artworkpymol-macro-languagepymol-snippetssnippet-librarypymol-snippet-librarycode-fragmentspymol-code-fragmentstext-editorstab-triggers
2. camkes-tool
The main CAmkES tool
✭ 17
pythoncIsabelleCMakeGAPPromelacamkes
3. ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
✭ 17
javaPromelaXtendperlHTMLSMTeclipseltlsafetymodel-checkingpetri-netmodel-driven-developmentctl
4. mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
✭ 16
JetBrains MPSRoffPromelaHTMLBatchfilecprismarchitecturez3spingsnnusmvstpacontract-based-designrequirements-specificationsafety-assuranceinterface-specification
5. treex
Treex NLP framework
✭ 32
perlRakuMakefileshellpythonPromela
1-5 of 5 Promela projects