epwutil

Several utilities for EB(Electric Book)/EPWING

epwutil is a set of small utilities that can deal with dictionary files in EB (Electric Book) / EPWING format. It contains:

erc

an IRC client for Emacs

ERC is a powerful, modular, and extensible IRC client for Emacs. It supports multiple channel-buffers, nick completion, keyword highlighting, and more.

python-qt4-sql

Python bindings for PyQt4's SQL module

The SQL module of PyQt4 provides widgets and utility classes for SQL database access.
proof-tree visualization for Proof General

prooftree

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.

etherpuppet

create a virtual interface from a remote Ethernet interface

Etherpuppet is a small program that will create a virtual interface (TUN/TAP) on one machine from the ethernet interface of another machine through a TCP connection. Everything seen by the real interface will be seen by the virtual one. Everything sent to the virtual interface will be emitted by the real one.
script that quickly measures network device throughput

ethstats

script that quickly measures network device throughput

ethstats works by parsing the /proc/net/dev file that the Linux kernel maintains, and thus utilizes a negligible amount of CPU time. ethstats shows the throughput of each device in both megabits per second and packets per second.