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 ianamason from


  Joined on May 31, 2016

5 Projects


Last released on Oct 4, 2017

Python Bindings for the Yices SMT Solver


Last released on Aug 25, 2017



Last released on Jul 24, 2017

Whole Program LLVM


Last released on Nov 29, 2016

The OCCAM saga


Last released on Nov 15, 2016

The PLambda language

Supported By

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 Google Google Cloud Servers DreamHost DreamHost Log Hosting