Skip to main content
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!
Avatar for ianamason from gravatar.com

ianamason

  Joined on May 31, 2016

5 Projects

PLambda

Last released on Nov 15, 2016

The PLambda language

razor

Last released on Nov 29, 2016

The OCCAM saga

wholly

Last released on Aug 25, 2017

Wholly

wllvm

Last released on Jul 24, 2017

Whole Program LLVM

yices

Last released on Oct 4, 2017

Python Bindings for the Yices SMT Solver

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