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.
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.
euler
interactive mathematical programming environment
Euler is a powerful numerical laboratory with a programming language.
The system can handle real, complex and interval numbers, vectors and
matrices. It can produce 2D/3D plots.
s3dvt
3d terminal emulator for s3d
s3d is a 3d network display server which can be used as 3d desktop environment.
teatime
Gnome Panel applet to reminds you when your tea is ready
qtnx
NX client for QT