Pinned Repositories
astutils
Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
binaries
binary items linked to from other repositories
fig2u3d
Export MATLAB figure as U3D file or directly to 3D interactive PDF
nfsim
Navigation Function package
nx2tikz
Export NetworkX graphs to TikZ directly
openstreetmap
Interface to OpenStreetMap (load maps, extract road connectivity, plot road network & find shortest path)
plot_utils
Vectorized and other plotting MATLAB functions
promela
Promela parser using PLY (Python lex-yacc)
svglatex
Include SVG graphics in LaTeX via Inkscape
tool_lists
Links to tools by subject
johnyf's Repositories
johnyf/tool_lists
Links to tools by subject
johnyf/openstreetmap
Interface to OpenStreetMap (load maps, extract road connectivity, plot road network & find shortest path)
johnyf/fig2u3d
Export MATLAB figure as U3D file or directly to 3D interactive PDF
johnyf/nx2tikz
Export NetworkX graphs to TikZ directly
johnyf/astutils
Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
johnyf/svglatex
Include SVG graphics in LaTeX via Inkscape
johnyf/promela
Promela parser using PLY (Python lex-yacc)
johnyf/plot_utils
Vectorized and other plotting MATLAB functions
johnyf/nfsim
Navigation Function package
johnyf/numerical_utils
Vectorized and other numerical MATLAB functions
johnyf/openpromela
Synthesis of discrete dynamical systems from multi-paradigm specifications
johnyf/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>
johnyf/gr1experiments
Scalable GR(1) synthesis implementation, experimental input files
johnyf/tlapy
Python utilities for working with TLA+ specifications
johnyf/binaries
binary items linked to from other repositories
johnyf/cudd
Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
johnyf/gr1py
an enumerative reactive synthesis tool for the GR(1) fragment of LTL
johnyf/johnyf.github.io
johnyf/latex_packages
LaTeX style-files for graphics and mathematics
johnyf/latex_scripts
makefile, graphicspath, hiding, pdfcrop
johnyf/tlapm
The TLA Proof Manager