UCSD VLSI CAD LABORATORY
Software
Screenshots of ABKGroup's killer app
Portability: Solaris CC 4.2 to MS VC ++ 5.0 and back
Using __STL_DEBUG
Template instantiation by linkers explained
The Cathedral and the Bazaar by Eric Raymond
A primer on reliability (but that's hardware ;(
Binary distributions of free software at U. Florida's Depot
Software Outsourcing
A collection of statistical calculators and plotters
Webster
Web page style checker
Another "HTML doctor"
Speed test
General FAQ on configuration management
autoconf
RPM
Language tutorials
The Standard Templates Library (SGI) (local copy): Ports to non-SGI compilers (with downloads), Tutorials
A relatively old, but very stable adapted version (Sept 16, 1997) of STL mirrored from our site
(the original site is "Ports" above)
NIST Template Numerical Toolkit (TNT)
The Stony Brook Algorithm Repository
Decision Tree for Optimization Software
Linux FTP Watcher
Linux Mailing Lists
NIST search for software by problem ( complete list of problem classes)
Numerical Methods
Numerical Recipes in C and Fortran
NEOS Server
Netlib
Object-Oriented Numerics page
Fax over email from TPC INT
TTH Latex-to-HTML converter
CVS
rsync (remote filesystem synchronization)
The GNU Compiler Collection (gcc) (includes g++, g77 etc)
Pthreads Tutorial
DDD
Perl (central), CPAN (all downloads, including binaries and modules), ActivePerl (Win32 port) -- local docs
GNUPLOT
GNUPLOT_FAQ
LEDA, a library of types and algorithms of combinatorial computing
(a picture of LEDA)
PCCTS - the Purdue Compiler-Compiler Tool Set: tutorial
ANTLR - a top-down parser generator for Java or C++
wxWindows - a GUI framework similar to MFC that works on both Windows and UNIX. Unix version here.
CGAL
SSH : a secure alternative to telnet (scp is an alternative to ftp and uses ssh). See Unix/Linux security software site.
scp for Windows. Virtual terminal for SSH for Windows is TTSSH (SSH downloads there too).
Free and Commerical CAD software
Berkeley DESIGN TECHNOLOGY WAREHOUSE
HSPICElinks
Cadence software page
Alliance software
Electric
Magic, a VLSI layout system
TimberWolf Systems (description of input file format and converters)
GNU Scientific Library Reference Manual
Sun WorkShop Documentation and other resources
Benchmarks for optimization software: LP, QP, QCQP, SDP, NLP etc
OR software (LP, network etc) from Seoul National University
Andrew Goldberg's Network Optimization library
Partitioning
PARTY
Metis multilevel partitioning and matrix reordering package
hMetis for hypergraph partitioning (see benchmarks).
GeoSteiner (docs --- David Warme's Ph.D. thesis)
Matlab
Octave, a free Matlab clone
MatCOM, Matlab->C++ compiler
PETSc
GIMP, GNU image manipulation program
Portability: Solaris CC 4.2 to MS VC ++ 5.0 and back Using __STL_DEBUG Template instantiation by linkers explained The Cathedral and the Bazaar by Eric Raymond A primer on reliability (but that's hardware ;( Binary distributions of free software at U. Florida's Depot Software OutsourcingOnline Software
A collection of statistical calculators and plotters Webster Web page style checker Another "HTML doctor" Speed test
Installation and Configuration Management
General FAQ on configuration management autoconf RPMGeneral Purpose Software
Language tutorials The Standard Templates Library (SGI) (local copy): Ports to non-SGI compilers (with downloads), Tutorials A relatively old, but very stable adapted version (Sept 16, 1997) of STL mirrored from our site (the original site is "Ports" above)
NIST Template Numerical Toolkit (TNT) The Stony Brook Algorithm Repository Decision Tree for Optimization Software Linux FTP Watcher Linux Mailing Lists NIST search for software by problem ( complete list of problem classes) Numerical Methods Numerical Recipes in C and Fortran NEOS Server Netlib Object-Oriented Numerics page Fax over email from TPC INT TTH Latex-to-HTML converter CVS rsync (remote filesystem synchronization) The GNU Compiler Collection (gcc) (includes g++, g77 etc) Pthreads Tutorial DDD Perl (central), CPAN (all downloads, including binaries and modules), ActivePerl (Win32 port) -- local docs GNUPLOT GNUPLOT_FAQ LEDA, a library of types and algorithms of combinatorial computing (a picture of LEDA)
PCCTS - the Purdue Compiler-Compiler Tool Set: tutorial ANTLR - a top-down parser generator for Java or C++ wxWindows - a GUI framework similar to MFC that works on both Windows and UNIX. Unix version here. CGAL SSH : a secure alternative to telnet (scp is an alternative to ftp and uses ssh). See Unix/Linux security software site. scp for Windows. Virtual terminal for SSH for Windows is TTSSH (SSH downloads there too).
VLSI CAD software
Free and Commerical CAD software Berkeley DESIGN TECHNOLOGY WAREHOUSE HSPICElinks Cadence software page Alliance software Electric Magic, a VLSI layout system TimberWolf Systems (description of input file format and converters) Other
GNU Scientific Library Reference Manual Sun WorkShop Documentation and other resources Benchmarks for optimization software: LP, QP, QCQP, SDP, NLP etc OR software (LP, network etc) from Seoul National University Andrew Goldberg's Network Optimization library Partitioning PARTY Metis multilevel partitioning and matrix reordering package hMetis for hypergraph partitioning (see benchmarks). GeoSteiner (docs --- David Warme's Ph.D. thesis) Matlab Octave, a free Matlab clone MatCOM, Matlab->C++ compiler PETSc GIMP, GNU image manipulation program Linux and Unix Utilities and Application (impressive!)