Ioannis Filippidis

polytope

Last released Aug 29, 2023

Polytope Toolbox

dd

Last released Jan 11, 2022

Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.

svglatex

Last released Dec 31, 2020

Include Inkscape graphics in LaTeX.

pycflow2dot

Last released Nov 23, 2020

Create C call graphs from multiple source files using Cflow, producing linked PDF.

tla

Last released Oct 21, 2020

Parser and abstract syntax tree for TLA+, the temporal logic of actions.

promela

Last released Sep 14, 2020

Parser and abstract syntax tree for the Promela modeling language.

omega

Last released Feb 26, 2020

Symbolic algorithms for solving games of infinite duration.

astutils

Last released Feb 14, 2020

Utilities for abstract syntax trees and parsing with PLY.

tlapy

Last released Nov 7, 2017

Python tools for working with TLA+ specifications.

openpromela

Last released Feb 28, 2016

Generalized reactive(1) synthesis from Promela specifications.