corbanmailloux/sublime-promela-spin corbanmailloux/sublime-promela-spin

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
  • License
    MIT License
  • Created over 10 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
corbanmailloux/sublime-promela-spin
github

corbanmailloux

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Sublime Text 3 syntax highlighting and build system for Promela Spin.

More Repositories

1

esp-mqtt-rgb-led

MQTT RGB LEDs Using JSON for Home Assistant
C++
270
star
2

esp-mqtt-dht

MQTT-Connected DHT Temperature and Humidity Sensors Using ESP8266 Modules
Arduino
33
star
3

home-assistant-configuration

My configuration for Home Assistant
C++
28
star
4

sublime-mit-alloy

Simple syntax highlighting for MIT's Alloy relational language in Sublime Text 3.
7
star
5

RITWeek

What week is it at RIT?
JavaScript
4
star
6

RGBDuino

Use an Android device and an Arduino to control a string of red-green-blue LEDs over Bluetooth.
Arduino
2
star
7

dotfiles

Personal and work dotfiles for Corban Mailloux
Lua
2
star
8

ArduinoKodiIRRemote

Simple Arduino IR Remote Control for XBMC/Kodi
C++
1
star
9

261Toolshare

A system that lets you lend and borrow tools from users in your area.
Python
1
star
10

MysteryMansion

A Python rebuild of the Electronic Talking Mystery Mansion board game.
Python
1
star
11

PlayDates

A Tinder-like playdate app for pets. (Project for Mass Communications class)
HTML
1
star
12

CarPuter

A tablet installed into my car, integrating with many car components.
Java
1
star