Looking for Windows software? Try our Windows Course Software page
The following is a list of links to documentation detailing some of the Unix/Linux based software available in CSIL:
If you want to get extra software installed, please contact your instructor.
| Name | Version | Availability | Command | Reference |
| Acroread | 2.2.0 | CSIL Linux | /usr/local/bin/acroread | http://www.valgrind.org |
| SSH Server | 4.2p1 | CSIL Linux | /usr/sbin/sshd | Ubuntu package (http://packages.ubuntu.com) |
| SSH Client | 4.2p1 | CSIL Linux | /usr/bin/ssh | Ubuntu package (http://packages.ubuntu.com) |
| HTML to Text converter | 1.3.2a | CSIL Linux | /usr/bin/html2text | Ubuntu package (http://packages.ubuntu.com) |
| Mozilla Firefox | 2.0.0.3 | CSIL Linux | /usr/bin/firefox | Ubuntu package (http://packages.ubuntu.com) |
| Postscript to PDF converter | 0.3.9 | CSIL Linux | /usr/bin/ps2pdf | Ubuntu package (http://packages.ubuntu.com) |
| Lynx text mode browser | 2.8.5 | CSIL Linux | /usr/bin/lynx | Ubuntu package (http://packages.ubuntu.com) |
| Elinks Text mode browser | 0.10.6 | CSIL Linux | /usr/bin/elinks | Ubuntu package (http://packages.ubuntu.com) |
| GUI text editor | 5.5-1 | CSIL Linux | /usr/bin/nedit | Ubuntu package (http://packages.ubuntu.com) |
| Xemacs(graphical-based text editor) | 21.4 | CSIL Linux | /usr/bin/xemacs | Ubuntu package (http://packages.ubuntu.com) |
| Openoffice | 2.0.2 | CSIL Linux | /usr/bin/ooffice | Ubuntu package (http://packages.ubuntu.com) |
| Displays directory tree | 1.5.0-2 | CSIL Linux | /usr/bin/tree | Ubuntu package (http://packages.ubuntu.com) |
| Document processor | 1.3.7 | CSIL Linux | /usr/bin/lyx | Ubuntu package (http://packages.ubuntu.com) |
| GNU interactive tools for a file browser | 4.3.20-8 | CSIL Linux | /usr/bin/git | Ubuntu package (http://packages.ubuntu.com) |
| Name | Version | Availability | Command | Reference |
| Awk (pattern scanning and processing language) | 3.1.5 | CSIL Linux | /usr/bin/awk | Ubuntu package (http://packages.ubuntu.com) |
| Data display debuger | 3.3.11 | CSIL Linux | /usr/bin/ddd | Ubuntu package (http://packages.ubuntu.com) |
| Bison Parser generator | 2.1 | CSIL Linux | /usr/bin/bison | Ubuntu package (http://packages.ubuntu.com) |
| Subversion Version control system | 1.3.1 | CSIL Linux | /usr/bin/svn | Ubuntu package (http://packages.ubuntu.com) |
| Xdelta generator | 1.1.3 | CSIL Linux | /usr/bin/xdelta | Ubuntu package (http://packages.ubuntu.com) |
| Orbit2 builder | 2.14.0 | CSIL Linux | /usr/bin/orbit2-config | Ubuntu package (http://packages.ubuntu.com) |
| Gnome libraries/information retrieval | 1.4.2 | CSIL Linux | /usr/bin/gnome-config | Ubuntu package (http://packages.ubuntu.com) |
| OpenGL libraries | Glui(2.35), glut(3.8.0) | CSIL Linux | /usr/lib/libglui.a /usr/lib/libglut.so | Ubuntu package (http://packages.ubuntu.com) |
| Kdevelop programming | 3.3.1 | CSIL linux | /usr/bin/kdevelop3 | Ubuntu package (http://packages.ubuntu.com) |
| Forms library user interface designer | 1.0 | CSIL Linux | /usr/bin/fdesign | Ubuntu package (http://packages.ubuntu.com) |
| Extace Wave form viewer | 1.9.4-1 | CSIL Linux | /usr/bin/extace | Ubuntu package (http://packages.ubuntu.com) |
| Light-weight standard ML(SML) | 2.01-0 | CSIL Linux | /usr/bin/mosml | Ubuntu package (http://packages.ubuntu.com) |
| Netwide Assembler | 0.98.38-1.2 | CSIL Linux | /usr/bin/nasm | Ubuntu package (http://packages.ubuntu.com) |
| Structured text formatting and typesetting | 3.0-13 | CSIL Linux | /usr/bin/latex, elatex | Ubuntu package (http://packages.ubuntu.com) |
| Lexical analyzer generator | 2.5.31 | CSIL Linux | /usr/bin/flex | Ubuntu package (http://packages.ubuntu.com) |
| Lexical analyzer generator for Java | 1.4.1-2 | CSIL Linux | /usr/bin/jflex | Ubuntu package (http://packages.ubuntu.com) |
| C/C++ Tools | 4.1.1 | CSIL Linux | /usr/local/bin/gcc, g++ | www.gnu.org/software/gcc |
| Answer-set Solver | n/a | CSIL Linux | /usr/local/bin/clasp, claspD, gringo, clingo, iclingo | http://potassco.sourceforge.net |
| Haskell | 20050308 | CSIL Linux | /usr/bin/hugs | http://haskell.org/hugs |
| Glasgow Haskell compiler | 6.4.1 | CSIL linux | /usr/bin/ghc, ghci | http://haskell.org/ghc |
| Java | 6.0_02 | CSIL Linux | /usr/local/bin/java | http://www.java.com |
| Valgrind instrumentation framework for dynamic analysis tools | 2.2.0 | CSIL Linux | /usr/local/bin/valgrind | http://valgrind.org |
| GNU c/c++ compiler | 4.1.1 | CSIL Linux | /usr/local/bin/gcc, g++ | http://www.gnu.org/software/gcc |
| Python | 2.4(linux) | CSIL Linux | linux:/usr/bin/python | http://www.python.org |
| Eclipse | 3.3 | CSIL Linux | /usr/local/bin/eclipse | http://www.eclipse.org/downloads/ |
| ACL (Allegro Common Lisp) | 8 | orion | mlisp | http://www.franz.com/support/ |
| BinProlog | 5.25 | orion | /usr/local/bin/bp | http://www.binnetcorp.com/BinProlog |
| SICStus | 11.2 | CSIL Linux | sicsstus | http://www.sics.se/isl/sicstuswww/site/portability.html |
| SWI-Prolog | 5.2.6 | CSIL Linux | pl | http://www.swi-prolog.org |
| TCL interpreter | 8.4 | CSIL Linux | /usr/bin/tclsh | Ubuntu package (http://packages.ubuntu.com) |
| VRML viewer for GTK+ | 0.13.0-4 | CSIL Linux | /usr/bin/gtklookat | Ubuntu package (http://packages.ubuntu.com) |
| Name | Version | Availability | Command | Reference |
| Graphics manipulation programs | 10.0 | CSIL Linux | all the commands with netpbm packages in /usr/bin | Ubuntu package (http://packages.ubuntu.com) |
| GTK based format image viewer | 2.0.1 | CSIL Linux | /usr/bin/gqview | Ubuntu package (http://packages.ubuntu.com) |
| TK graphical user interface tool kit | 8.4 | CSIL graphics Linux | /usr/bin/wish | Ubuntu package (http://packages.ubuntu.com) |
| Houdini | .2 | CSIL graphics Linux | /usr/local/bin/houdini | http://www.sidefx.com |
| BlueMoon | 2.6 | CSIL graphics Linux | /usr/local/bin/rendrib | http://www.siggraph.org |
| AL Procedure computer animation | 5.2a | CSIL graphics Linux | /usr/local/bin/ox | http://accad.osu.edu/~smay/AL |
| Pixar Renderman and artist tool | 12.5.2 | CSIL graphics Linux | /usr/local/bin/render | http://renderman.pixar.com |
| Cinelerra video capturing/editing | 2.1 | CSIL graphics Linux | /usr/local/bin/cinelerra | http://heroinewarrior.com |
| Radiance ray-tracing | 3.7.2 | CSIL graphics Linux | /usr/local/bin/rad | http://radsite.lbl.gov/radiance/HOME.html |
| Povray raytracer | 3.5 | CSIL graphics Linux | /usr/local/bin/x-povray | http://www.povray.org |
| VTK image processing/visualization | 4.22 | CSIL graphics Linux | /usr/local/bin/vtk | http://www.vtk.org |
| Blender Animation | 2.42a | CSIL graphics Linux | /usr/local/bin/blender | http://www.blender.org |
| Maya Animation | 8.6 | CSIL graphics Linux | /usr/local/bin/maya | http://www.aliaswavefront.com |