This is a pre-production deployment of Warehouse, however changes made here WILL affect the production instance of PyPI.
ltfish

ltfish

Joined on May 30, 2016

Projects

ana

Last released on Dec 25, 2016

angr

Last released on Feb 1, 2017

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

angr-management

Last released on Feb 1, 2017

GUI for angr

angr-only-z3-custom

Last released on Oct 12, 2016

installation stub for z3-solver

archinfo

Last released on Jan 14, 2017

claripy

Last released on Feb 1, 2017

An abstraction layer for constraint solvers

cle

Last released on Feb 1, 2017

CLE Loads Everything (at least, may binary formats!) and provides a Pythonic interface to analyze what they are and what they would look like in memory.

cooldict

Last released on Dec 29, 2015

Some useful dict-like structures

idalink

Last released on Aug 11, 2015

An interface to the insides of IDA!

mulpyplexer

Last released on Oct 22, 2015

A module that multiplexes interactions with lists of python objects.

pyvex

Last released on Feb 1, 2017

A Python interface to libVEX and VEX IR.

simuvex

Last released on Feb 1, 2017

A symbolic execution engine for the VEX IR

z3-solver

Last released on Jan 26, 2017

an efficient SMT solver library

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