Next: Categories
Up: Linux Software Encyclopedia
Previous: Linux Metasites
  Contents
These are sites which list available software for specific application
areas. Not all of the software at these sites will work on Linux
platforms, although a great deal of it does.
- Alternative Operating Systems
- This includes embedded, mainframe, network, parallel, research and
other types of OS.
[http://www.indexos.com/]
- Artificial Intelligence Software
- Various categories including traditional AI, neural networks, evolutionary
computation, agents, and artificial life and other complex systems.
[http://www.emsl.pnl.gov:2080/proj/neuron/ai/systems/]
- Artificial Life on the Web
- An artificial life site featuring alife, genetic algorithms and cellular
automata programs written in cross-platform web languages.
[http://www.aridolan.com/index.html]
- Assembly Language Resources
- Software and other resources for programming in assembly language.
[http://www.cera2.com/softd/assmhot.htm]
- Astronomical Software and Documentation
- A collection of software packages dealing with astronomy.
[http://asds.stsci.edu/asds/]
- Automated Reasoning Systems
http://www-formal.stanford.edu/clt/ARS/ars-db.html
[http://www-formal.stanford.edu/clt/ARS/ars-db.html]
- Biocatalog
- Software in molecular biology and genetics.
[http://www.ebi.ac.uk/biocat/]
- Biological Software and Databases
- Archives for biological software and databases around the world.
[http://www.bis.med.jhmi.edu/Dan/software/software.html]
- Chemical Informatics
- Several data storage and transfer formats used in chemistry.
[http://www.indiana.edu/~cheminfo/informatics/cinformstds.html]
- CodEc for Economics
and Econometrics
- A site whose mission is to collect and provide computer programs
of interest for economists and econometricians.
[http://netec.wustl.edu/CodEc.html]
- CMU AI Repository
- This contains just about every piece of freely available software even
remote related to artificial intelligence.
[http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html]
- Compiler Construction Tools
- Annotated list of compiler construction kits, lexer and parser
generators, attribute grammar systems, transformation
tools, backend generators, and more.
[http://www.first.gmd.de/cogent/catalog/index.html]
- Compilers and Interpreters
- Freely available software language tools including compilers,
compiler generators, interpreters, translators, libraries,
assemblers, and more.
[http://www.idiom.com/free-compilers/]
- Computational Geometry Software
- A list of computational geometry programs and packages.
[http://www.geom.umn.edu/software/cglist/]
- Computer Vision Software
- Software related to computer vision including research code,
image processing toolkits, display tools, synthetic data
generators, and mathematical toolkits.
[http://www.cs.cmu.edu/~cil/v-source.html]
- CORBA Page
- A list of free and otherwise implementations of
CORBA.
[http://adams.patriot.net/~tvalesky/freecorba.html]
- International Cryptography
- Everything you want or need to know about cryptography and software
to implement encryption and decryption algorithms.
[http://www.cs.hut.fi/crypto/]
- Emulators
- Software that emulates games or computers.
[http://www.linuxlinks.com/Software/Emulators/index.shtml]
- FFT Software
- A veritable plethora of various implementations of the Fast
Fourier Transform.
[http://www.fftw.org/benchfft/doc/ffts.html]
- Formal Methods Tools
- Tools for working with various formal specification languages
including CCS, CSP, Estelle, LOTOS, HOL, FOL, OMT, Petri nets,
Prolog, RSL, SDL, VDM and Z.
[http://www.csr.ncl.ac.uk/projects/FME/InfRes/tools/]
- Formal Methods Virtual Library
- Information about formal methods including software for working
with formal specification languages.
[http://www.comlab.ox.ac.uk/archive/formal-methods.html]
- Fuzzy Logic and Neurofuzzy Software
- Software related to fuzzy logic, fuzzy arithmetic, and the combination
of neural nets and fuzzy logic.
[http://www.isis.ecs.soton.ac.uk/resources/nfinfo/fzsware.shtml]
- GNU Project
- The home page of the GNU Project featuring all of the nifty software
they've developed over the years.
[http://www.gnu.org/]
- Graph Drawing Tools and Related Work
- Tools for graph drawing, layout, and visualization.
[http://www.cs.uni-sb.de/RW/users/sander/html/gstools.html]
- GUI Toolkit and Framework Page
- Packages for creating graphical user interfaces or GUIs.
[http://www.geocities.com/SiliconValley/Vista/7184/guitool.html]
- HyperRFC
- A hyper-linked collection of all currently
available RFCs.
[http://www.csl.sony.co.jp/rfc/]
- Linear Algebra Software
- Links to and comparisons of linear algebra software packages.
[http://www.netlib.org/utk/people/JackDongarra/la-sw.html]
- Machine Learning Resources
- Information about various aspects of machine learning including
clustering, decision trees, neural nets, genetic algorithms, etc.
[http://www.ai.univie.ac.at/oefai/ml/ml-resources.html]
- Mesh and Grid Generation
- Information about mesh and grid generation including research groups,
people, news, software, conferences, literature, etc.
[http://www-users.informatik.rwth-aachen.de/
~roberts/meshgeneration.html]
- Molecular Linux
- Molecular biology software for Linux platforms.
[http://www.ebi.ac.uk/software/software.html]
- National HPCC Software Exchange
- Software related to parallel processing of one kind or another
including benchmarks, data analysis and visualization, distributed
processing tools, numerical software, parallel processing tools, and
scientific and engineering applications.
[http://www.nhse.org/rib/repositories/nhse/catalog/]
- Natural Language Software Registry
- A summary of the capabilities and sources of language processing
software available to researchers. The categories include
speech signal analysis, morphological analysis, syntactic analysis,
formalisms, semantic and pragmatic analysis, generation, knowledge
representation systems, multicomponent systems, NLP-tools,
data sets, and applications and text processing.
[http://www.dfki.de/lt/registry/]
- Network Measurement Tool Taxonomy
- An overview of Internet and TCP/IP performance measurement tools
and efforts.
[http://www.caida.org/Tools/taxonomy.html]
- Number Theory Software
- Software that might be of interest to number theorists, e.g.
calculator programs, algebraic number theory programs, etc.
[http://www.maths.uq.oz.au/~krm/listi.html]
- Operating Systems Projects
- A list of operating system projects divided into various
categories, e.g. research, microkernel, object-oriented,
persistent, free, etc.
[http://www.cs.arizona.edu/people/bridges/oses.html]
- Operations Research Software
- A site with information on all aspects of operations research
including an extensive list of software packages.
[http://mat.gsia.cmu.edu/]
- Optimization Software
- Optimization software in many categories including linear, integer,
and quadratic programming as well as network, unconstrained,
and bound-constrained optimization and several more.
[http://www.mcs.anl.gov/home/otc/Guide/SoftwareGuide/]
- Parallel C++ Projects
- A collection of projects involving both parallel processing and
C++.
[ftp://riacs.edu/pub/Excalibur/
parcpp-projects.html]
- Parascope
- A listing of parallel computing sites including software and
projects.
[http://computer.org/parascope/]
- Pattern Recognition
and Image Processing
- The categories include pattern recognition, neural networks and learning;
image processing and vision; and OCR and handwriting.
There are also unsorted lists of software and hardware announcements.
[http://www.ph.tn.tudelft.nl/PRInfo/PRInfo/software.html]
- Programming Languages for the JVM
- A list of over 60 different systems which implement a programming
language for the Java Virtual Machine (JVM) other than
Java.
[http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html]
- ScriptSearch
- Advertised as the largest CGI and script
resource on the Internet, this contains links to scripts written
in over a dozen languages and in over twenty categories.
[http://www.scriptsearch.com/]
- Security Tools
- Free security-related software at the Freefire Project
web site.
[http://sites.inka.de/sites/lina/freefire-l/index.en.html]
- Seismology Software for Linux
- A collection of programs for earthquake seismology, exploration
seismology, general graphics and plotting, and mathematics.
[http://www.seismo.unr.edu/ftp/pub/ichinose/LINUX/
seismolinux.html]
- Seismological Software Library
- A huge collection of software related to seismology.
[http://orfeus.knmi.nl/working.groups/wg4/index.html]
- SGML/XML Software
- Freely available SGML-related software
including parsers, editors, formatting tools, and tools for
data conversion, transformation, and manipulation.
Also sections on DSSSL and
XML tools.
[http://www.oasis-open.org/cover/publicSW.html]
- Software Engineering Resources
- Software and all sorts of other information about the broad
topic of software engineering.
[http://www.csci.csusb.edu/doc/se.html]
- Statistical
Programs for Astronomy
- Links to programs implementing statistical methods chosen for their
potential utility for research in astronomy and other physical sciences.
[http://www.astro.psu.edu/statcodes/]
- Stony Brook Algorithm Repository
- A comprehensive collection of algorithm implementations for over
seventy of the most fundamental problems in combinatorial
algorithms.
[http://www.cs.sunysb.edu/~algorith/index.html]
- 3-D Modeling and Rendering
- A central location for information and software relating to 3-D graphic
modeling, rendering, ray tracing, etc. under the Linux OS.
[http://www.pages.drexel.edu/undergrad/gen22/linux.html]
- Window Managers for X
- A guide to window managers for the X Window System with descriptions,
screenshots, and configuration files for many window managers.
[http://www.PLiG.org/xwinman/]
- Zooland Artificial Life Software
- Software that implementats one or another form of what is
called artificial life
[http://alife.santafe.edu/~joke/zooland/]
Next: Categories
Up: Linux Software Encyclopedia
Previous: Linux Metasites
  Contents
Manbreaker Crag
2001-03-08