In one of my classes, we were using Spin, and specifically jSpin to do some software modeling. Like I mentioned in my Sublime-MIT-Alloy project, I use Sublime Text 3 for my day-to-day editing, so I was disappointed when there was no highlighting available for Promela (the language of Spin). I found a VIM highlighter, so I manually converted that to a Sublime syntax file.
Once that was working, I got annoyed with switching to jSpin to test my code, so I built a build system. The build process is basic, and it only handles the "Random" mode of Spin, but it was enough for me and the class requirements.
Any questions can be directed at firstname.lastname@example.org