On this page:
Numerical/Math Software
Languages/Debuggers
Programming Libraries
Simulation & Modeling
Miscellaneous Utilities
Help/Information
|
Athena Help |
LOCKER |
COMMENT |
|---|---|---|
|
|
finds man pages containing key words |
|
|
|
supplies info about workstation |
|
|
|
information browser for gnu software |
|
|
|
finds files by matching path components |
|
|
|
standard UNIX man page viewer |
|
|
|
Athena-specific information; on Web |
|
|
|
bug reporting utility |
|
| stanley | supplies, updates information about a username | |
|
|
supplies, updates information about a workstation |
|
|
|
tells public workstation root passwd, Athena cluster combo |
|
|
outland |
tells which locker a program is in |
|
|
|
Gnome help browser- misc applications, system man and info pages |
|
|
Database |
LOCKER |
COMMENT |
|
|
database component of LibreOffice office suite |
|
|
mysql |
mysql SQL client and server |
|
| psql (PostgreSQL) | PostgresQL database client | |
|
oracle10g |
Oracle database SQL client |
|
|
MIT Information |
LOCKER |
COMMENT |
|
|
||
|
|
displays current Athena cluster usage |
|
|
|
||
|
|
||
|
|
||
|
|
course information, grades, registration on Web |
|
|
MIT Library Reference |
LOCKER |
COMMENT |
|
|
||
| Cn3D, entrez | molecular image viewer, biomolecular databases | |
|
|
library information for finding online bibliographic resources |
|
|
Reference Materials |
LOCKER |
COMMENT |
| Artha | simple thesaurus based on Wordnet | |
| dict | command-line dictionary using various online databases | |
| gnome-dictionary | simple network-based GUI dictionary | |
|
|
||
|
sipb |
database of common local phone numbers |
|
|
|
on Web, here |
|
|
sipb |
||
|
sipb |
acronym expander (both MIT and general acronyms) |
|
|
|
Encyclopedia and thesaurus-like utility |
|
|
Internet Exploration |
LOCKER |
COMMENT |
| chromium-browser | Google's Web browser | |
|
|
default Athena Web browser |
|
|
|
Web browser based on KDE desktop environment |
|
| liferea | RSS reader | |
|
|
text-only Web browser |
|
|
|
Web browser |
|
|
scripts |
Web hosting service allowing automatic configuration for many popular Web-based services (MediaWiki, WordPress, Joomla...) |
|
|
|
checks html pages for correct syntax |
|
|
|
terminal-based Web browser |
|
Screen Accessories
|
Window Managers |
LOCKER |
COMMENT |
|---|---|---|
|
|
debathena default window manager (if previously deselected, select Athena Default Session from the Session: dropdown list on the login screen) |
|
| mwm | window manager adhering to the Motif look-and-feel (select Motif Window Manager from the Session: dropdown list on the login screen) | |
| twm | simple, basic window manager (select TWM from the Session: dropdown list on the login screen) | |
|
|
window manager designed to provide integration with the GNUstep Desktop Environment; Web page (select Window maker from the Session: dropdown list on the login screen) |
|
|
|
dynamically tiling window manager written in Haskell; Web page (select XMonad from the Session: dropdown list on the login screen) |
|
|
Utilities |
LOCKER |
COMMENT |
| Eterm | customizable color vt102 terminal emulator | |
|
|
calculator |
|
|
|
allows setting various desktop preferences |
|
|
|
enhanced terminal window |
|
|
tcl |
calendar |
|
|
|
bi-directional text pager |
|
|
|
text pager |
|
|
|
file manager and desktop environment |
|
|
postscript |
hardcopy calendar |
|
| remmina | remote desktop client for GNOME environment supporting a variety of protocols | |
|
|
"slimmed down" terminal emulator |
|
|
|
screen manager that multiplexes a terminal between processes |
|
|
|
remote desktop viewing application |
|
|
|
calendar |
|
|
|
calculator |
|
|
|
clock |
|
|
|
displays samples and information about available fonts |
|
|
|
load gauge |
|
| xlock | screen saver, locks display | |
|
calendar |
Athena calendar |
|
|
|
creates new, empty terminal window |
Communication
|
Electronic Mail |
LOCKER |
COMMENT |
|---|---|---|
|
|
text mail client; alpine is the successor to pine |
|
|
|
standard Athena GUI mail client; user guide |
|
|
|
mail program; author Web pages |
|
| Outlook Web App | Web-based Exchange mail system | |
|
|
mail client and newsgroup reader based on Mozilla engine |
|
|
|
allows decoding attachments in MS winmail format files |
|
|
Conferencing/ |
LOCKER |
COMMENT |
|
|
standard Athena message board system |
|
|
|
on the Web |
|
| pan | lightweight news reader | |
|
|
mail client and newsgroup reader based on Mozilla engine |
|
|
Dialup/ |
LOCKER |
COMMENT |
|
|
file transfer program |
|
|
|
serial data transfer program |
|
| Mosh | secure remote login terminal application | |
| openconnect | Virtual Private Network (VPN) application | |
|
|
remote login program |
|
|
|
remote login application; access via Web |
|
|
|
secure remote login, file transfer program; OpenSSH Web page; local Web page, ssh on Athena dialups |
|
|
|
program to transfer files via Email |
|
|
|
IBM 3270 terminal emulator |
|
|
Real-Time |
LOCKER |
COMMENT |
|
|
multi-protocol instant message client; information |
|
|
|
standard Athena instant messaging system; local online docs |
Text Software
|
Text/HTML |
LOCKER |
COMMENT |
|---|---|---|
|
|
word processor |
|
|
|
utility that converts dvi files to PostScript |
|
|
|
standard UNIX text editor; local online docs |
|
|
|
utility that prints text files on PostScript printers |
|
|
|
lightweight text editor |
|
|
|
utility that converts html to PostScript; author Website |
|
|
|
spelling checker |
|
|
|
text editor with many syntax highlighting modes and built-in scripting language |
|
|
|
standard UNIX text formatting system; local online docs |
|
|
|
utility that converts latex files to html; online docs |
|
|
|
html editor component of LibreOffice office suite |
|
|
|
word processor component of LibreOffice office suite |
|
|
|
structured document authoring application |
|
|
|
utility that converts MS Word docs to html, other formats; author Website |
|
|
|
text editor |
|
|
|
utility that converts tex and latex files to pdf |
|
|
|
simple text editor |
|
|
|
utility that converts PostScript files to pdf |
|
|
texmacs |
"scientific" word processor, allowing embedded math formulas; author site |
|
| Texmaker | texmaker | LaTeX editor that integrates many tools needed to develop documents with LaTeX |
|
|
text formatting application |
|
|
|
utility that converts latex math equations to html |
|
|
|
standard UNIX modal text editor |
|
|
|
vi editor variants |
|
| Visual Math Editor | editor for math/scientific formulas that supports LaTeX, AsciiMath and MathML in HTML web pages | |
| Visual Studio Code | vscode | source code editor with built-in support for various languages; many plugins are available |
|
editors |
text editor |
|
|
|
GUI emacs variant |
|
|
Text Previewers |
LOCKER |
COMMENT |
|
|
pdf file viewer by Adobe |
|
| evince | pdf file viewer | |
|
|
PostScript file viewer |
|
|
Ghostscript front end |
||
|
|
chm (compiled html help) file viewer |
|
|
|
dvi file viewer |
|
|
|
pdf file viewer |
Graphics Software
|
Graphics (drawing) |
LOCKER |
COMMENT |
|---|---|---|
|
|
bitmap file editor |
|
|
utility to convert to/from various image formats |
||
|
|
drawing program for creating diagrams; author Website, with documentation |
|
|
|
toolset for manipulating DjVu image files; author Web pages |
|
|
ds9 |
astronomical image analysis application supporting FITS image format |
|
|
eaglecad |
circuit board design application; provider site, MIT distributor |
|
|
|
image file viewer |
|
| FreeSurfer | freesurfer | software suite for processing and analyzing human brain MRI images |
|
|
VRML2/VRML97/X3D file viewer |
|
| FSL | fsl | library of analysis tools for FMRI, MRI and DTI brain imaging data |
|
fwtools |
utilities for viewing and manipulating GIS image data; supports multiple formats including jpeg2000 |
|
|
|
3d image viewer; author Web pages |
|
|
|
Gerber circuit board design file viewer |
|
|
|
image manipulation application; author Web page |
|
|
|
language for generating 2d graphics |
|
|
|
toolkit for building OpenGL graphics applications |
|
|
|
utility for plotting graphs in various image formats |
|
| Graphviz, xdot | layout programs and viewer for graph visualization | |
|
|
GUI editor for Scalable Vector Graphics (SVG) drawing files |
|
|
|
extensible drawing editor that interfaces to LaTeX |
|
|
|
VRML1/Inventor file viewer |
|
|
|
drawing component of LibreOffice office suite |
|
|
|
presentation graphics component of LibreOffice office suite |
|
|
|
utility for presenting slide shows |
|
|
|
utility to convert to/from various graphic formats |
|
|
|
3d graphics libraries |
|
|
|
3d image generation system; local Web page |
|
|
orbisnap |
VRML2/VRML97 file viewer |
|
|
povray |
ray-tracing image renderer |
|
|
|
utility to convert PostScript files to editable formats |
|
|
rayshade |
ray-tracing image renderer |
|
|
|
page layout application |
|
| Seismic Unix | cwpsu | command-line utilities for analysis and visualization of seismic data |
| slicer | package for biological and medical image visualization and analysis | |
| SPM | spm | MATLAB-based utilities for analysis of brain imaging data sequences |
|
|
structured drawing program |
|
| TrackVis | trackvis | software tool that can visualize and analyze fiber track data from diffusion MR imaging |
| trimage | lossless image file compressor and metadata remover | |
|
|
drawing program for circuit diagrams; Author Website |
|
|
|
drawing program |
|
|
|
drawing program |
|
|
graphics |
image file viewer; online manual |
|
|
|
utility that saves window images to files |
|
|
Graphics (CAD) |
LOCKER |
COMMENT |
|
ac3d |
3d image modeler |
|
|
|
3d modeling, animation, rendering, post-production and playback application |
|
| FreeCAD | parametric 3d CAD modeler | |
|
|
2d CAD application |
|
|
Graphics (video) |
LOCKER |
COMMENT |
|
|
video media file player that can handle multiple formats |
|
| vlc | video media file player that can handle multiple formats | |
|
|
video media file player that can handle multiple formats |
Audio Software
|
|
LOCKER |
COMMENT |
|---|---|---|
|
|
media player |
|
|
|
utility that controls audio settings |
|
| gxmms2 | xmms2-based media player with playlists | |
|
|
mp3 player |
|
|
|
utility that plays various audio formats |
|
|
|
RealAudio/Video player |
|
| rhythmbox | audio player |
Numerical/Math Software
|
Analysis/Plotting Software |
LOCKER |
COMMENT |
|---|---|---|
| Axiom | axiom-math | symbolic math system |
| CoCoA | cocoa | specialized computer algebra system |
|
|
desk calculator |
|
|
|
interactive numerical analysis language with notebooks, graphics capabilities |
|
| Fermat | fermat | specialized computer algebra system |
|
imj-fiji |
multifeatured image analysis tool for life sciences |
|
|
|
fits curves to experimental data points |
|
| Gephi | gephi | interactive graph visualization and exploration application |
|
|
data plotting utility; FAQ |
|
|
|
2d numerical plotting; Web page, user's guide |
|
|
maple |
symbolic math system; local Web page |
|
|
math |
symbolic math system |
|
|
matlab |
digital signal processing & data analysis system; local Web page, online docs for latest release, FAQ |
|
|
|
freely distributable symbolic algebra system; documentation |
|
|
|
desk calculator, prototyper for numerical algorithms |
|
|
|
digital signal processing & data analysis system |
|
|
|
3d data analysis and visualization |
|
|
|
computer algebra system designed for fast computations in number theory |
|
|
r |
statistical analysis and graphics system |
|
|
reduce |
symbolic math system with many add-on packages |
|
| ROOT | root | software framework for data analysis |
|
|
pure and applied mathematics system incorporating notebooks and interfaces to other mathematics applications |
|
|
sas |
statistical analysis system; local Web page |
|
|
|
scientific software for numeric computation, digital signal processing & data analysis |
|
| singular | computer algebra system for polynomial computations | |
|
splus |
statistical analysis system; local Web page |
|
|
stata |
statistical analysis system |
|
|
tecplot |
sophisticated data plotting system; local Web page |
|
|
Spreadsheets |
LOCKER |
COMMENT |
|
|
GNU spreadsheet |
|
|
|
spreadsheet component of LibreOffice office suite |
|
| sc |
|
simple spreadsheet |
|
xess |
sophisticated, programmable spreadsheet; local Web page |
Languages/Debuggers
|
C |
LOCKER |
COMMENT |
|---|---|---|
|
sunsoft_v12.5 |
Oracle C compiler |
|
| gcc-6plus |
gnu C compiler; gcc Web page |
|
|
sunsoft_v12.5 |
Oracle C code checker |
|
|
C++ |
LOCKER |
COMMENT |
|
sunsoft_v12.5 |
Oracle C++ compiler |
|
| gcc-6plus |
gnu C++ compiler; gcc Web page |
|
|
FORTRAN |
LOCKER |
COMMENT |
|
sunsoft_v12.5 |
Oracle FORTRAN 77 compiler |
|
| f90/f95 | sunsoft_v12.5 |
Oracle FORTRAN 90/95 compiler |
| gcc-6plus |
gnu FORTRAN 77/90 compiler |
|
| g95 | g95 | FORTRAN 95 compiler, supports some FORTRAN 2003 and FORTRAN 2008 features |
|
|
lint-like utility for checking FORTRAN code |
|
|
Other Languages |
LOCKER |
COMMENT |
|
mlisp (Allegro Common Lisp) |
acl |
Common Lisp compiler/interpreter |
|
ampl |
modeling language for mathematical programming ; limited availability (see detail description) |
|
|
|
pattern scanning language interpreter |
|
| Ceylon | ceylon | Open Source language from Red Hat targeted for JavaScript and Java virtual machines |
|
|
Common Lisp compiler/interpreter |
|
|
|
LISP-like dynamic programming language based on Java |
|
|
mono |
Cobra language compiler, running within Mono environment |
|
|
ct |
interactive, graphics based language interpreter; cT information page |
|
| Dart | dart-lang | Open Source language from Google intended for structured Web application design |
| Egison | egison | functional programming language that emphasizes non-linear pattern matching |
|
eiffel |
IDE and command-line compiler for Eiffel programming language |
|
|
|
compiler and runtime for Erlang functional programming language |
|
|
fabric |
federated, distributed language for securely and reliably storing, sharing and computing information | |
|
fantom |
programming language that runs on the JRE and JavaScript, supporting functional programming and concurrency | |
| Frege | frege-lang | non-strict, pure functional programming language in the spirit of Haskell, compiled to Java and run in a JVM |
|
fsharpc (F# compiler, mono) |
mono |
F# compiler, running within Mono environment |
|
|
IDE for Visual Basic-like language |
|
|
gcc-6plus |
gnu Java compiler |
|
|
gdc (D language compiler) |
|
D language native compiler, based on gcc |
|
GDL (IDL clone) |
|
interpreter, incremental compiler for GNU Data Language |
|
ghc (Glasgow Haskell Compiler) |
|
compiler, interpreter for Haskell functional programming language |
| GNAT | gcc-6plus | GNU Ada compiler |
|
ggo, gcc-6plus |
compilers for Go system programming language |
|
|
|
interpreter, compiler for Prolog programming language |
|
| HACK | hacklang | language similar to php for web programming; supports static and dynamic typing |
| Haxe | haxe | language and compiler that can produce applications and source code for multiple platforms |
|
Hugs 98 (Haskell) |
|
interactive programming environment for Haskell 98 programming language |
|
j |
mathematical programming language related to APL with full graphics capabilities |
|
|
java |
Java programming language tool suite; local Web page |
|
| Julia | julia | high-level dynamic programming language for technical computation |
|
|
python interpreter that allows direct access to Java classes |
|
| Kotlin | kotlin | statically typed programming language that compiles to JVM bytecodes and JavaScript |
|
|
interactive, graphics based language interpreter |
|
|
|
extensible, general- purpose scripting language designed for speed and ease of use |
|
|
mcs (C# compiler, mono) |
mono |
C# compiler, part of Mono computing environment |
|
|
80x86 assembler, supports range of object formats and macros |
|
|
newlisp |
extensible, embeddable lisp-like scripting language |
|
| Nim | nim-lang | systems programming language with extensive metaprogramming support, generics and exceptions tracking built in |
|
|
compiler, interpreter for Caml functional programming language |
|
|
|
multi-purpose scripting language interpreter; online docs |
|
| Picat | picat | logic-based, multi-paradigm programming language for general-purpose applications |
|
processing |
Java-based language for programming images, animation and interactions |
|
|
|
general purpose scripting language interpreter; also NumPy numeric package |
|
|
racket |
Scheme interpreter, development environment |
|
|
|
object-oriented scripting language interpreter |
|
| rust | rust-lang | block-structured expression language oriented towards creating and maintaining boundaries |
|
|
object-oriented, functional language that interoperates with Java and .NET |
|
|
scheme |
MIT Scheme language interpreter |
|
|
|
Scheme interpreter and library |
|
|
|
visual scripting language that allows automated generation and testing of graphical user interfaces |
|
|
|
compiler and development environment for ML functional programming language |
|
|
|
Prolog language compiler, development environment |
|
|
|
interpreted scientific language with graphics support |
|
|
Debuggers/Development Environments |
LOCKER |
COMMENT |
|
|
Java build tool, conceptually similar to "make" |
|
| antlr, antlrworks |
antlr |
language tool and IDE for developing recognizers, interpreters and compilers for languages specified in grammatical description files |
|
|
cross-platform build system generator |
|
| Cscope | cscope | developer's tool for browsing source code |
|
sunsoft_v12.5 |
Oracle debugger for a variety of languages |
|
|
eclipse-sdk |
open, extensible IDE with Java implementation |
|
|
|
gnu debugger |
|
| IntelliJ IDEA | kotlin | Java development environment with support for Kotlin programming language |
|
jbuilder |
Borland Java development environment |
|
|
netbeans |
Oracle integrated development environment |
|
|
sunsoft_v12.5 |
Oracle Integrated development environment |
|
|
totalview |
C, C++ and Fortran debugger for multiprocessor and multithreaded systems |
|
|
|
profiler, Linux/i386 dynamic memory allocation debugger |
Programming Libraries
|
Graphics Libraries |
LOCKER |
COMMENT |
|---|---|---|
|
|
3d data visualization system |
|
|
|
graphics library toolkit for 3d image visualization; author Web page |
|
|
Math Libraries |
LOCKER |
COMMENT |
|
|
numerical analysis library; online docs |
|
|
|
mathematical and digital signal processing library; online docs |
|
|
|
numeric linear algebra libraries |
|
| Netlib | archive containing Lapack, other code; runs on Web | |
|
recipes |
numerical analysis library; online books |
|
|
User Interfaces/Widgets |
LOCKER |
COMMENT |
|
|
multipurpose additions to the C++ Standard Library |
|
|
|
cross-platform C++ GUI builder and widget toolkit |
|
|
|
version of the Scheme programming language that can be used as an embedded scripting language |
|
|
|
dynamic and static libraries of 2d X Windows graphics "widgets" |
|
|
|
C++ based GUI builder and "widget" set |
|
|
|
programming environment for creating GUI interfaces |
|
|
|
dynamic and static libraries of 2d X Windows graphics "widget" components |
Simulation & Modeling
|
Bioinformatics |
LOCKER |
COMMENT |
|---|---|---|
|
seven |
viewing & analysis of functional MRI brain images |
|
|
seven |
gene sequence processing and analysis tools |
|
|
|
application for finding regions of local similarity between molecular sequences |
|
|
clcbio |
tool suite for bioinformatics analysis |
|
|
|
general purpose multiple sequence alignment program for DNA or proteins |
|
| COPASI |
copasi |
application for simulation and analysis of biochemical networks and their dynamics |
| Cytoscape | cytoscape | application for visualizing molecular interaction networks and biological pathways |
|
|
collection of tools for molecular analysis of genomic data |
|
|
geneious |
integrated bioinformatics tool suite for manipulating, finding and exploring biological data |
|
|
seven |
tool for predicting locations and exon-intron structures of genes |
|
|
|
set of tools that profile hidden Markov models for protein sequence analysis |
|
| Integrative Genomics Viewer | igv | visualization tool for interactive exploration of large integrated genomic datasets |
|
meme |
meme: tool for discovering motifs in a group of related DNA or protein sequences. mast: tool for searching biological databases for known motifs |
|
|
neuron |
simulator of neurons and networks of neurons; Web page |
|
|
osprey |
tool for visualization of biological interaction networks |
|
|
|
collection of tools for inferring phylogenies |
|
| primer3 | program for designing Polymerase Chain Reaction primers | |
|
ugene |
bioinformatics application that integrates multiple biological tools and algorithms. These can be arranged in a workflow scheme using UGENE Workflow Designer |
|
|
Finite Element Analysis |
LOCKER |
COMMENT |
| Abaqus | abaqus | software suite for finite element analysis and computer-aided engineering |
|
calculix |
3d structural analysis finite-element program, with pre- and post-processor |
|
|
easymesh |
2d Delaunay mesh generator |
|
|
|
multiphysics finite-element application |
|
|
|
finite-element analysis, partial differential equation solver |
|
| Gerris Flow Solver | solver and viewing application for 2d and 3d solution of partial differential equations describing flow | |
| Gmsh/GetDP | gmsh | Gmsh is a 3d mesh generator with pre- and post-processing capbility; GetDP is a finite-element solver integrated with Gmsh |
|
|
libraries and tools for computational fluid dynamics and multiphysics applications |
|
|
|
3d tetrahedral mesh generator and Delaunay triangulator |
|
|
|
2d mesh generator and Delaunay triangulator |
|
|
Geographic Information Systems |
LOCKER |
COMMENT |
|
arcims |
Geographic Information System file viewer; docs |
|
|
Molecular Modeling & Dynamics |
LOCKER |
COMMENT |
| AIMAll | aimall | package for performing quantitative and visual analyses of molecular systems |
| Avogadro | molecule editor and visualizer | |
|
|
utility that converts molecular description files to/from other formats |
|
|
cambsd |
database of chemical and crystallographic information for small organic and metal-organic compounds |
|
|
cpmd |
parallelized plane wave/pseudopotential implementation of Density Functional Theory |
|
|
deepview |
structural analysis and display of protein molecular chemistry models; online docs |
|
| DINO | dino | realtime 3D visualization program for structural biology data |
|
dsvisualizer |
visualization and analysis of molecular images and sequences |
|
|
espresso |
programs for quantum-mechanical simulations based on Density Functional Theory |
|
| GAMESS, MacMolPlt | gamess | computational molecular chemistry modeler |
|
gaussian |
computational molecular chemistry modeler |
|
|
|
3d molecule image viewer in Java |
|
|
cambsd |
crystal structure visualization tool |
|
|
molden |
application that computes and displays molecular density patterns |
|
|
molekel |
3d molecule image viewer |
|
|
molscript |
tool for generating 3d molecular images |
|
| molSimplify | molsimplify | molecular editor and analyzer with capabilities for handling transition metal complexes |
| Multiwfn | multiwfn | multifunctional wavefunction analyser |
| ORCA | orca-chem | computational molecular chemistry modeler; also includes NBO (calculates bond orbitals with maximum electron density) |
|
platon |
crystallographic computational chemistry tool |
|
| Psi4 | psi4 | suite of ab-initio quantum chemistry programs |
|
pymol |
multi-featured molecular structure viewer |
|
| Q-Chem (Open MPI), iqmol | qchem | ab-initio quantum chemistry program (OpenMPI parallel implementation); iqmol is a molecular editor and visualization package integrated with Q-Chem |
| Q-Chem (MPICH), iqmol | qchemmpich | ab-initio quantum chemistry program (MPICH parallel implementation); ; iqmol is a molecular editor and visualization package integrated with Q-Chem |
|
|
3d molecule image viewer |
|
|
|
3d Java molecular viewing application, accessible on Web |
|
|
vmd |
VMD: 3d molecule image viewer, supports animation, rendering; local docs; NAMD: molecular chemistry computational dynamics; local docs |
|
|
xcrysden |
crystalline and molecular structure visualization program |
|
|
|
2d chemical formula drawing program |
|
|
Other Simulations |
LOCKER |
COMMENT |
| Alloy | alloy | language and tool for describing and exploring structures |
|
aeroutil |
applications for the design and analysis of subsonic aircraft and airfoils |
|
|
chemkinpro |
advanced gas phase chemical kinetics analysis simulation |
|
| Coq | formal proof management system based on an internal formal language | |
|
|
VLSI circuit design and simulation application |
|
| FORTE | forte | computational fluid dynamics package that incorporates CHEMKIN PRO's solver technology |
|
|
suite of of electronic design tools, currently offering schematic capture and simulation tools |
|
|
|
solver/library routines for solving linear programming problems |
|
|
ipopt |
large-scale nonlinear optimization package |
|
| JFLAP | jflap | package of graphical tools for learning concepts of Formal Languages and Automata Theory |
| LabVIEW | labview | system-design platform and development environment for "G", a visual, dataflow programming language |
|
lpsolve |
Mixed Integer Linear Programming solver |
|
|
|
interactive editor for VLSI layouts |
|
|
|
utilities for analysis of time-domain signals |
|
|
|
mixed-level/mixed-signal circuit simulator |
|
|
oof |
computation of macroscopic material properties from images of microstructure |
|
| OpenModelica | modeling language and simulator development environment for mathematical models of physical systems | |
| Qucs | qucs | integrated circuit simulator |
| RMG | rmgchem | automatic chemical reaction mechanism generator |
|
sketch |
software synthesis tool for rapid development of tuned, bug-free algorithm implementations |
|
| SmartSim | smartsim | digital logic circuit design and simulation package |
|
snopt |
general-purpose solver for constrained optimization |
|
|
spin |
LTL model checking system in asynchronous software systems design; local online docs |
|
|
su2 |
software tools for performing Partial Differential Equation analysis and solving PDE constrained optimization problems |
|
| TAO/PETSc | tao-petsc |
PETSc is a suite of data structures and routines for solution of scientific applications; TAO, based on PETSc, is software for solving large-scale optimization problems |
| TensorFlow, Torch | mach-learn | numerical computation applications and libraries for machine learning and A.I. simulation |
|
tla |
IDE for TLA+ tools. TLA+ is a formal specification language used to design, model, document, and verify concurrent systems |
Miscellaneous Utilities
|
|
LOCKER |
COMMENT |
|---|---|---|
| aptitude | command-line package manager | |
|
|
Moira list maintenance utility; Web version (MIT only) |
|
| brasero | records data on CD-R, DVD-R and R/W drives | |
|
records data on CD-R, CD-R/W drives |
||
|
consult |
removes control characters from text files (converts DOS to UNIX newlines) |
|
| CrashPlan | network backup system | |
|
|
version control system |
|
| dos2unix, unix2dos | converts text file newline between UNIX/DOS formats | |
| dosemu | simulates a DOS computer | |
|
|
utility to search Discuss meetings for text strings |
|
|
|
AFS file system commands; online docs |
|
|
|
extracts numeric data values from graphs published in image format |
|
|
|
fast, scalable distributed version control system |
|
|
|
personal finance manager |
|
|
|
tool for encrypting and digitally signing files; Web page |
|
|
consult |
utility that helps deal with "over quota" problems |
|
|
|
Hesiod information utility (users, filesystems..) |
|
|
|
Macintosh disk access utility |
|
|
consult |
utility that tells when servers of a given type were last updated |
|
|
|
Moira list maintenance utility; Web version (MIT only) |
|
|
consult |
utility to find server a locker is on |
|
|
|
lists open files on computer |
|
|
|
mailing list maintenance utility |
|
|
|
distributed source code management system |
|
|
|
interface to Moira database; also on Web (MIT only) |
|
|
|
PC/ZIP disk access utility suite |
|
| OpenRefine | refine | tool for cleaning and transforming messy data |
|
|
mail encryption utility; quickstart guide |
|
|
|
lists processes running on computer |
|
|
consult |
utility for recursively listing members of mailing lists |
|
|
|
utility that converts files between character sets and "surfaces" |
|
|
|
renews user's Kerberos tickets and AFS tokens |
|
|
|
utility that attaches lockers, performs initialization commands |
|
|
|
version control system |
|
| synaptic | GUI package manager | |
|
|
converts physical quantities between different units |
|
| xmoira | utility for managing user's Email forwarding, finger information and default shell | |
|
infoagents |
deletes damaged or expired browser certificates |
|
|
|
data compression utilities |