Name | Description | 4.1 | 4.2 | 4.3 | 5.1 | 5.2 | 5.3 |
acs | Al's Circuit Simulator | X | X | X | | | |
garlic | Molecular visualization program | X | X | X | X | | |
mcsim | general purpose modeling and simulation program | X | | | | | |
mona | A theorem prover based on automata | X | X | X | X | | |
pcb | PCB
is a tool for the layout of printed circuit boards. PCB can produce industry
standard RS-274-X and Excellon NC-Drill format output for submission to board
manufacturers. | X | X | X | X | | |
vgp | X-based vector globe projection | | | | | | |
xephem | Scientific-grade interactive astronomical ephemeris package | X | X | X | X | | |
xspringies | Interactive 2D mass/spring simulation system for X windows | | | | | | |