Hide content and notifications from this user.
Contact Support about this user's behavior.
Layout C call graphs from cflow using GraphViz dot
Helper tools for using TLA+
Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Specification and synthesis of systems using symbolic algorithms
makefile, graphicspath, hiding, pdfcrop
Links to tools by subject
base preambles, mycommands, and company
Export MATLAB figure as U3D file or directly to 3D interactive PDF
A Textmate-compatible grammar for TLA+
misc scripts -- use at your own risk
History of branches here is re-written w/o notice
Construction of GR(1) contracts for distributed systems (research prototype): http://dx.doi.org/10.1109/ACC.2016.7525009
SVG and beamer scripts
Webpage source for compilers-webpage
Synthesis of reactive designs from multi-paradigm specifications
Promela parser using PLY (Python lex-yacc)
images and other binary items linked from README files of my other repos (this repo is an ugly solution, not for cloning)
static analyzer that generates call graphs from Python code
An Inkscape extension for exporting SVG paths as TikZ/PGF paths
A dependencies analyzer for Python
Fork of SVG -> PDF + LaTeX export that predated inkscape's (broken) code -- original from:
Multi-core Decision Diagram (BDD/LDD) implementation
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
junction scripts for Windows. Unnecessary, because better to avoid both Windows and Dropbox
nose is nicer testing for python
Interface to OpenStreetMap (load maps, extract road connectivity, plot road network & find shortest path)
A collection of TLA+ specifications of varying complexities
Mirror of the distlib repo