johnyf

tool_lists

Links to tools by subject

openstreetmap

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

fig2u3d

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

nx2tikz

Export NetworkX graphs to TikZ directly

astutils

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

svglatex

Include SVG graphics in LaTeX via Inkscape

promela

Promela parser using PLY (Python lex-yacc)

plot_utils

Vectorized and other plotting MATLAB functions

nfsim

Navigation Function package

numerical_utils

Vectorized and other numerical MATLAB functions

openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications

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>

gr1experiments

Scalable GR(1) synthesis implementation, experimental input files

tlapy

Python utilities for working with TLA+ specifications

binaries

binary items linked to from other repositories

cudd

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

gr1py

an enumerative reactive synthesis tool for the GR(1) fragment of LTL

johnyf.github.io

latex_packages

LaTeX style-files for graphics and mathematics

latex_scripts

makefile, graphicspath, hiding, pdfcrop

tlapm

The TLA Proof Manager