wannesm/NuSMV.tmbundle wannesm/NuSMV.tmbundle

  • Stars
    star
    4
  • Rank 3,211,706 (Top 65 %)
  • Language
  • Created almost 14 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wannesm/NuSMV.tmbundle
github

wannesm

Reviews

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

Repository Details

NuSMV TextMate bundle

More Repositories

1

dtaidistance

Time series distances: Dynamic Time Warping (fast DTW implementation in C)
Python
1,029
star
2

LeuvenMapMatching

Leuven.MapMatching toolbox for aligning GPS measurements to locations on a map.
Python
207
star
3

wmgraphviz.vim

Vim plugin for Graphviz
Vim Script
145
star
4

adsphd

KU Leuven Arenberg Doctoral School PhD dissertation latex class
TeX
70
star
5

PySDD

Python package for Sentential Decision Diagrams (SDD)
Cython
48
star
6

rmvim.vim

MacVim (or GVim) plugin for remote editing
Shell
22
star
7

dotsandboxes

Javascript Dots-and-Boxes application with support for game-playing agents.
JavaScript
21
star
8

articlecls

HTML5/CSS3 template to be used for print/paged media
JavaScript
11
star
9

wmnusmv.vim

Vim plugin for NuSMV
Vim Script
8
star
10

wmnotes.vim

Vim scripts to support my ascii notes (extension of Markdown)
Vim Script
1
star
11

wmpycalc.vim

Vim Script
1
star
12

wmgitttools

Some extra tools to work with git
Python
1
star
13

wmnoteimporter

Spotlight Importer for my notes
C
1
star
14

wmsettings.vim

Personal Vim plugin extension
Vim Script
1
star
15

notes

1
star
16

ppmg

Prediction by Partial Match - Graph
Python
1
star
17

wannesm.github.com

Wannesm Page
JavaScript
1
star