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.
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.
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.