Skip to main content
Avatar for johnyf from gravatar.com

  johnyf

  Joined on Oct 7, 2013

10 projects

dd

Last released on Apr 16, 2018

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

promela

Last released on Jan 4, 2018

Parser and abstract syntax tree for the Promela modeling language.

omega

Last released on Dec 31, 2017

Symbolic algorithms for solving games of infinite duration.

pydot

Last released on Dec 25, 2017

Python interface to Graphviz's Dot

polytope

Last released on Nov 25, 2017

Polytope Toolbox

tlapy

Last released on Nov 7, 2017

Python tools for working with TLA+ specifications.

astutils

Last released on Sep 11, 2017

Utilities for abstract syntax trees and parsing with PLY.

pycflow2dot

Last released on Mar 9, 2017

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

tla

Last released on Feb 5, 2017

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

openpromela

Last released on Feb 28, 2016

Generalized reactive(1) synthesis from Promela specifications.

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page