11 projects
svglatex
Include Inkscape graphics in LaTeX.
tla
Parser and syntax tree for TLA+, the temporal logic of actions.
parstools
Parsing algorithms
promela
Parser and abstract syntax tree for the Promela modeling language.
astutils
Utilities for abstract syntax trees and parsing with PLY.
polytope
Polytope Toolbox
omega
Symbolic algorithms for solving games of infinite duration.
dd
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
pycflow2dot
Create C call graphs from multiple source files using Cflow, producing linked PDF.
tlapy
Python tools for working with TLA+ specifications.
openpromela
Generalized reactive(1) synthesis from Promela specifications.
