Ioannis Filippidis

Expert
@johnyf

tool_lists. Links to tools by subject

393

openstreetmap. Interface to OpenStreetMap (load maps, extract road connectivity, plot road network & find shortest path)

99

fig2u3d. Export MATLAB figure as U3D file or directly to 3D interactive PDF

71

nx2tikz. Export NetworkX graphs to TikZ directly

31

astutils. Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.

18

promela. Promela parser using PLY (Python lex-yacc)

9

svglatex. Include SVG graphics in LaTeX via Inkscape

9

plot_utils. Vectorized and other plotting MATLAB functions

9

nfsim. Navigation Function package

8

numerical_utils. Vectorized and other numerical MATLAB functions

4

openpromela. Synthesis of discrete dynamical systems from multi-paradigm specifications

4

latex_packages. LaTeX style-files for graphics and mathematics

1

tlapy. Python utilities for working with TLA+ specifications

1

gr1experiments. Scalable GR(1) synthesis implementation, experimental input files

1

cudd. Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>

1

latex_scripts. makefile, graphicspath, hiding, pdfcrop

1

contract_maker. Construction of GR(1) contracts for distributed systems (research prototype): <https://doi.org/10.1109/JPROC.2018.2834926> and <https://doi.org/10.1109/ACC.2016.7525009>

1
17
Apply