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

rhelmot

Joined on Sep 11, 2015

Projects

ana

Last released on Jun 29, 2016

UNKNOWN

angr

Last released on Dec 4, 2016

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

angr-management

Last released on Dec 4, 2016

GUI for angr

angr-only-z3-custom

Last released on Oct 12, 2016

installation stub for z3-solver

archinfo

Last released on Dec 4, 2016

claripy

Last released on Dec 4, 2016

An abstraction layer for constraint solvers

cle

Last released on Dec 4, 2016

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!

monkeyhex

Last released on Jul 9, 2016

Monkeypatch the python interpreter to print integer results in hex

mulpyplexer

Last released on Oct 22, 2015

A module that multiplexes interactions with lists of python objects.

nclib

Last released on Sep 15, 2016

Netcat as a library: convienent socket interfaces

pyvex

Last released on Dec 4, 2016

A Python interface to libVEX and VEX IR.

simuvex

Last released on Dec 4, 2016

A symbolic execution engine for the VEX IR

sound-machine

Last released on Jun 3, 2016

Sound and music synthesis library in pure python

z3-solver

Last released on Nov 10, 2016

an efficient SMT solver library

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS HPE HPE Development 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