johnyf Goto Github PK

astutils

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

binaries

binary items linked to from other repositories

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>

cudd

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

fig2u3d

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

gr1experiments

Scalable GR(1) synthesis implementation, experimental input files

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

nfsim

Navigation Function package

numerical_utils

Vectorized and other numerical MATLAB functions

nx2tikz

Export NetworkX graphs to TikZ directly

openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications

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

tlapm

The TLA Proof Manager

tlapy

Python utilities for working with TLA+ specifications

tool_lists

Links to tools by subject