Symbolic Systems And Stanford

NOCOL is a popular system and network monitoring (network management) software that runs on Unix systems and can monitor network and system devices. The software uses a very simple architecture and is very flexible for adding new network management modules. Whats New in This Release: - Unix...

PA Server Monitor is a Windows service that monitors the health and availability of Windows servers, network services (on Windows, Linux and other operating systems), and devices. No agents are needed to monitor remote servers. Also includes rich reporting on most monitored resources. PA...

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...


Platforms: *nix

Optimal Pilot is designed for optimization of complex 3D models (CAD/CAM/CAE systems and others) for real-time visualization. It is a 3D reduction and optimization tool that speeds rendering and provides enhanced control over a 3D model's visual quality.


Platforms: Windows

Help Console is the easiest way to create Help Systems and PDF documentation for your website. Create a 'Help Center' within your existing website that your staff can easily update at anytime from anywhere. Publish online product manuals, product demos, FAQs, knowledgebase articles, PDF...


Platforms: Windows

MPICH (MVAPICH2) software delivers best performance, scalability and fault tolerance for high-end computing systems and servers using InfiniBand, iWARP and other RDMA-enabled interconnect networking technologies. This software is being used by more than 540 organizations world-wide (Current...


Platforms: *nix

HelpConsole 2010 is the easiest way to create Help Systems and PDF manuals for your website or to distribute with your software products. Create a 'Help Center' within your existing website that your staff can easily update at anytime from anywhere. Publish online product manuals, product demos,...


Platforms: Windows

iCalcreator is a PHP tool för producing iCal formatted files, used by non-calendar systems like CMS, project systems and other systems able to produce calendar information like agendas, tasks, reports, totos, journaling data and for input to calendar systems and applications. iCalcreator...


Platforms: *nix

KLone is a fully-featured, multiplatform, web application development framework, targeted especially for embedded systems and appliances. It is a self-contained solution which includes a web server and an SDK for creating WWW sites with both static and dynamic content. When using KLone, theres...


Platforms: *nix

Virt-Factory project manages virtualized infrastructure: Virt-Factory focuses on interacting with large numbers of virtual systems and on addressing some of the interaction problems that brings with it Virt-Factory is primarily aimed at a fairly formal setting (data center), though we hope it...


Platforms: *nix

HelpConsole 2006 is the easiest way to create Help Systems and PDF manuals for your website or to distribute with your software products. Create a 'Help Center' within your existing website that your staff can easily update at anytime from anywhere. Publish online product manuals, product demos,...


Platforms: Windows

ClusTerm is used to SSH into a cluster of systems and execute the same command on all the systems. It combines a number of Gnome Terminal Widgets (VTE) in a single graphical window and copies the input to one terminal to all other terminals. ClusTerm project shows the differences between...


Platforms: *nix

Gecode is a accessible, portable, and efficient environment for developing constraint-based systems and applications. Gecode is radically open for programming, meaning that it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of...


Platforms: *nix

Spong is a simple systems and network monitoring package. It does not compete with Tivoli, OpenView, UniCenter, or any other commercial packages. It is not SNMP based, it communcates via simple TCP based messages. It is written in Perl. It can currently run on every major Unix and Unix-like...


Platforms: *nix

X-Cart Affiliate Feeds Pack has all the features for online merchants to simplify the work with third-party Affiliate Systems and Affiliate Networks. Each Affiliate System has different requirements, formats and details. It is pretty complicated task for regular merchant to constantly...


Platforms: Windows, *nix, Windows CE

Recover deleted files, fix broken file systems and restore partitions with content-aware analysis. Magic NTFS Recovery handles all types of data recovery jobs from simple unerase operations to complex disk and partition recovery jobs. Magic NTFS Recovery is compatible with all types of magnetic...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Save time and money as Virtual PC allows you to maintain the compatibility of legacy and custom applications during migration to new operating systems and increases the efficiency of support, development, and training staffs. With Microsoft® Virtual PC 2007, you can create and run one or more...


Platforms: Windows

This software utility can plot regular or parametric functions, in Cartesian or polar coordinate systems, and is capable to evaluate the roots, minimum and maximum points as well as the first derivative and the integral value of regular functions. Easy to use, ergonomic and intuitive interface,...


Platforms: Windows, Windows 7

Magic FAT Recovery will unerase deleted files, fix broken file systems and recover partitions from FAT-formatted media. With most memory cards and USB flash drives carrying FAT or FAT32, Magic FAT Recovery makes for a perfect tool to recover documents, pictures, music, and everything else you're...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Word2x is a program for converting word documents to text without any Microsoft software to help you, including non-microsoft operating systems (and therefore no OLE dll's, etc).The currently supported output formats are plain text, LaTeX and HTML. The program converts word to a central format...


Platforms: Windows, Mac, *nix, Perl, BSD Solaris