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.
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.
interactive mathematical programming environment

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.
3d terminal emulator for s3d

s3dvt

3d terminal emulator for s3d

s3d is a 3d network display server which can be used as 3d desktop environment.
Gnome Panel applet to reminds you when your tea is ready

teatime

Gnome Panel applet to reminds you when your tea is ready

NX client for QT

qtnx

NX client for QT