This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (pypi.python.org).
Help us improve Python packaging - Donate today!
johnyf

johnyf

Joined on Oct 7, 2013

Projects

astutils

Last released on Oct 30, 2016

Utilities for abstract syntax trees and parsing with PLY.

dd

Last released on Mar 23, 2017

Library of decision diagrams and algorithms on them, in pure Python, as well as Cython bindings to CUDD, Sylvan, and BuDDy.

omega

Last released on Jun 15, 2017

Symbolic algorithms for solving games of infinite duration.

openpromela

Last released on Feb 28, 2016

Generalized reactive(1) synthesis from Promela specifications.

polytope

Last released on May 7, 2017

Polytope Toolbox

promela

Last released on Jun 19, 2015

Parser and abstract syntax tree for the Promela modeling language.

pycflow2dot

Last released on Mar 9, 2017

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

pydot

Last released on Oct 6, 2016

Python interface to Graphviz's Dot

tla

Last released on Feb 5, 2017

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

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Rackspace Rackspace Cloud Servers DreamHost DreamHost Log Hosting