Skip to main content
This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (
Help us improve Python packaging - Donate today!
Avatar for johnyf from


  Joined on Oct 7, 2013

10 Projects


Last released on Jan 4, 2018

Parser and abstract syntax tree for the Promela modeling language.


Last released on Dec 31, 2017

Symbolic algorithms for solving games of infinite duration.


Last released on Dec 25, 2017

Python interface to Graphviz's Dot


Last released on Nov 25, 2017

Polytope Toolbox


Last released on Nov 7, 2017

Python tools for working with TLA+ specifications.


Last released on Oct 17, 2017

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


Last released on Sep 11, 2017

Utilities for abstract syntax trees and parsing with PLY.


Last released on Mar 9, 2017

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


Last released on Feb 5, 2017

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


Last released on Feb 28, 2016

Generalized reactive(1) synthesis from Promela specifications.

Supported By

Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Kabu Creative Kabu Creative UX & Design Google Google Cloud Servers Fastly Fastly CDN StatusPage StatusPage Statuspage DigiCert DigiCert EV Certificate