JDevlieghere/Sublime-NuSMV JDevlieghere/Sublime-NuSMV

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
  • Created almost 11 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JDevlieghere/Sublime-NuSMV
github

JDevlieghere

Reviews

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

Repository Details

Sublime NuSMV Syntax

More Repositories

1

dotfiles

âš™ Dotfiles for Linux &macOS
Shell
291
star
2

Real-Debrid

Real Debrid Google Chrome Extension
JavaScript
26
star
3

InTeXration

TeX Continuous Integration Service
Python
18
star
4

tinydm

Tiny Download Manager on top of libcurl
C++
6
star
5

SORTES-DHCP-Relay

Software for Real-Time and Embedded Systems
C
4
star
6

order-your-members

Benchmarking code
C++
4
star
7

SORTES-Clock

Software for Real-Time and Embedded Systems
C
4
star
8

Letter-Matrix

Word Search / Letter Matrix Solver in Haskell
Haskell
3
star
9

Backbone.Marionette-AMD-Modules

Backbone.Marionette Example with AMD Modules (RequireJS)
JavaScript
3
star
10

vscode-lldb

TypeScript
2
star
11

Raytracer

1
star
12

Markdown

Markdown Stylesheets
CSS
1
star
13

QST

Quote, Shorten, Tweet (Google Chrome Extension)
JavaScript
1
star
14

MAS

Multi Agent Systems (B-KUL-H02H4A)
Java
1
star
15

ArduinoDisplay

Arduino Display
Java
1
star
16

llvm.vim

Mirror of llvm/utils/vim
Vim Script
1
star
17

GoTV

Find new TV episodes
Go
1
star