https://github.com/johnyf/tool_lists

Links to tools by subject

binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification

Last synced: 21 Mar 2025

https://github.com/johnyf/openstreetmap

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

matlab openstreetmap plot road-network

Last synced: 17 Mar 2025

https://github.com/johnyf/fig2u3d

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

export graphics latex matlab matlab-figure pdf three-dimensions u3d

Last synced: 22 Mar 2025

https://github.com/johnyf/nx2tikz

Export NetworkX graphs to TikZ directly

graphs networkx tikz

Last synced: 22 Mar 2025

https://github.com/johnyf/astutils

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

ast parse ply python syntax-tree

Last synced: 22 Mar 2025

https://github.com/johnyf/svglatex

Include SVG graphics in LaTeX via Inkscape

beamer converts equation graphics inkscape latex pdf python3 svg

Last synced: 12 Apr 2025

https://github.com/johnyf/promela

Promela parser using PLY (Python lex-yacc)

parse parser ply promela python

Last synced: 22 Mar 2025

https://github.com/johnyf/plot_utils

Vectorized and other plotting MATLAB functions

Last synced: 12 Apr 2025

https://github.com/johnyf/nfsim

Navigation Function package

diffeomorphism differential-geometry matlab motion-planning navigation-functions potential-fields robotics

Last synced: 12 Apr 2025

https://github.com/johnyf/numerical_utils

Vectorized and other numerical MATLAB functions

Last synced: 14 Apr 2025

https://github.com/johnyf/openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications

ltl multi-paradigm-specifications promela synthesis

Last synced: 12 Apr 2025

https://github.com/johnyf/tlapy

Python utilities for working with TLA+ specifications

formal-methods specification tla tlaplus utilities

Last synced: 21 Mar 2025

https://github.com/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>

contracts control-systems games symbolic

Last synced: 21 Mar 2025

https://github.com/johnyf/gr1experiments

Scalable GR(1) synthesis implementation, experimental input files

Last synced: 21 Mar 2025

https://github.com/johnyf/latex_scripts

makefile, graphicspath, hiding, pdfcrop

latex scripts

Last synced: 21 Mar 2025

https://github.com/johnyf/binaries

binary items linked to from other repositories

Last synced: 21 Mar 2025

https://github.com/johnyf/latex_packages

LaTeX style-files for graphics and mathematics

graphics latex svg svglatex tla tlaplus

Last synced: 21 Mar 2025

https://github.com/johnyf/cudd

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

binary-decision-diagrams c cpp cudd

Last synced: 21 Mar 2025

https://github.com/johnyf/johnyf.github.io

Last synced: 21 Mar 2025