Free tool sober software for linux

DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints.
The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems.
To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system. We plan to extend the genetic algorithms to solve a large number of problems.
DREAM is a simulation and verification framework which provides a formal model and analysis of your system in less than a day. Systems in DREAM are specified using XML in a straightforward way. I hope you find it useful.
Real-time middleware provides dependable and efficient platforms supporting key functional and quality of service (QoS) needs of distributed real-time embedded (DRE) systems.
Key challenges in DRE system developments include safe composition of system components and mapping the functional specifications onto the target platform. Model-based technologies help address these issues by enabling design-time analysis and providing the means for the rapid evaluation of design alternatives with respect to end-to-end QoS properties, predictability and performance measures before committing to a specific platform.
The Distributed Real-time Embedded Analysis Method DREAM is an open-source tool and method for optimizing multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems. The project focuses on the practical application of formal analysis methods to real-time middleware to automate the verification, development, configuration, and integration of middleware-based DRE systems.
Enhancements:
- This version implemented several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times.
- There are no known memory leaks present in the current release.
- Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method.
- XML Schema validation was implemented.
- Verification time reporting was upgraded to include data on the simulation speeds.
- Random simulation-based testing now provides an execution trace when a deadline is missed.

MIME-tool is a little mime encoding tool I slapped together when I needed something on a production box at work (productions = no C development environment, only the ancient K&R compiler required for god-knows-what sys-admin task).
The resulting program will compile happilly on both the crippled C compilers bundled with some commercial *nix distributions, and on full ANSI/ISO C compilers like gcc.
I wrote this program when I needed a tool to construct MIME encoded emails with file attachments in job scripts on a production box. Being a production box it didnt have any development tools installed. However, the box DID have a K&R C compiler that appears to be necessary for some administrative task or another (configuring the kernel?). If you tried to compile even fairly simple ANSI/ISO C source the compiler bitched and moaned about all the stuff it didnt support, which will stop most folk (at least those who dont know anything about the history of the C programming language) from building their own binaries.
Since Im old enough to actually have written C code back before we had the ANSI/ISO standard and all the accompanying niceties, I was not stymied by a the lack of ANSI/ISO support. Its really not all that hard to write K&R compliant code, so long as you dont need the compiler to check your function calls for you. For a program this small, however, thats not much of a concern.
Since the program is meant to be compiled on systems with minimal support (there is no telling what unrestrained IT staff will decide must be removed in the interest of system security) I didnt bother to include a makefile. On every system I have tried, however, the program compiled with the simple incantation
cc -o mime mime.c
but your selected target system may require extra special magics.
The program supports the basic MIME standard: The caller can select the content type (application/octet-stream, text/plain, or user specified), content type encoding (7bit, 8bit, binary, base64 or auto-detected) and the boundry string (defaults to "=_MIME_CONTENT_BREAK_="). Further, the caller may specify the e-mail subject, to address, from address, carbon copy address and text for a prolog and epilog. The content type and encoding may be specified separately for each attached file.
The programs calling format is:
mime [-dDvV] [-S subject] [-F from-address] [-T to-address]
[-C carbon-copy address] [-P prolog-text] [-E epiplogue-text]
[-B boundry] {[-78abqux] [-t content-type] filename}
-d low detail debugging
-D high detail debugging
-v verbose messages
-V very verbose messages
-7 7-bit ASCII encoding
-8 8-bit ASCII encoding
-a application/octet-stream content type
-b binary encoding
-q quoted-printable encoding
-t text/plain content type
-u unknown encoding, auto-detect
-x base64 encoding
Theres really not much to this program. Once you know how the MIME messages are constructed you could do most of it manually (except for the base64 encoding, which would require a program like this), but if there are any problems with it, I would like to know about them.
Enhancements:
- A typo in the online help message was fixed.
- A known bugs section was added to the manpage.
- Proper quoting and folding were added to the filename header.

graph-tool project is a program to help with statistical analysis of graphs.
Main features:
- support for directed and undirected graphs
- support for arbitrary vertex or edge properties
- generic filtering of edges and vertices
- several statistical measurements:
- degree (or scalar property) histogram
- vertex-vertex degree (or scalar property) correlation
- average nearest neighbours degree (or scalar property)
- vertex-edge-vertex correlation
- clustering coefficients
- assortativity coefficient
- average distance
- component statistics
- generation of random graphs with arbitrary degree distribution and degree correlation
- graph history measurement based on filtering
- support for graphml and dot file formats
The core algorithms are written in C++, making use of the Boost Graph Library, and template metaprogramming techniques, with performace in mind. The command line interface and other outlying code are written in python.

SEO Tool For Meta Tags is a small script that instantly generates meta tags for the user. It allows you offer a neat little service to your website visitors. They simply sumbit their sites title, description, and keywords & presto, out comes their meta tags to put in their html code.

It takesa about 30 seconds to install and have working on your site.

SEO Tool For Meta Tags does not have any spyware or adware. No personal information is collected, stored, or transmitted by Online Meta Tag Generator. The project does not install any browser plugins or hijackers.

The mii-tool command provides an tool for checking and setting ethernet cabling parameters.
It is normally included in Bernd Eckenfels net-tools package, but this is an single distribution which only contains mii-tool. This package also comes with cleaned makefile and allows build-time relocation and cross/sysroot-compiling.
Enhancements:
- removed evrything whats not mii-tool
- removed I18N stuff
- added support for specifying an installation root via the DESTDIR environment variable
- removed the config stuff (not needed for mii-tool)

Need help avoiding phishing and spoofing attacks? Petname Tool can help you avoid online fraud by clearly distinguishing your online relationships.

Using the petname tool, you can save a reminder note about a relationship you have with a secure site. The petname tool will then automatically display this reminder note every time you visit the site.

After following a hyperlink, you need only check that the expected reminder note is being displayed. If so, you can be sure you are using the same site you have in the past.

The EDDIE Tool is a system monitoring, security and performance analysis agent developed entirely in Python. It runs standalone on a system and performs checks and other actions as defined by an extensible configuration.
The EDDIE Tool can perform all basic system monitoring checks, such as: filesystem; processes; system load; and network configuration.
It can also perform such network monitoring tasks as: ping checks; HTTP checks; POP3 tests; SNMP queries; RADIUS authentication tests; and customized TCP port checks.
Finally, a few checks lend themselves to security monitoring: watching files for changes; and scanning logfiles.
The EDDIE Tool can also send any collected statistic to RRD files to be displayed graphically by any standard RRD tool.
No need to run multiple monitoring and data collection agents. Monitoring rules are just like Python expressions and can be as simple or as complex as needed. Advanced alert control functionality such as exponential back-off and dependencies are also standard.
Enhancements:
- Support for two new platforms: FreeBSD and Microsoft Windows. Solaris 10 support.
- Better support for Linux kernel 2.6.
- SMTP response time monitoring.
- The FILE directive can show diffs when monitored files are modified.
- Disk/filesystem throughput measuring on Solaris.
- Many more enhancements and bugfixes.

KJam is a build tool like make. It uses a syntax similar to Jam, with more powerful features than the original Jam.
It has built-in very fast dependency scanning, per-target viewpathing, and C-like control flow. It is optimized for multi-processor machines. It can accelerate building by launching build actions on a distributed peer to peer network of build servers.
KJam Build Tool is designed to support large projects with thousands of targets, or projects requiring building on many target architectures.
KJam is designed to be:
Unintrusive and clean KJam is small. It has negligible CPU overhead, and it doesnt create or leave behind temporary files.
Scalable KJam is able to build large projects spread across many directories in a single pass and can manage and distribute build steps to multiple processors on one or more networked machines.
Highly portable KJam currently runs only on Windows, but it is designed to be easily portable. Ports to Linux and OSX are planned.
Multiplatform Platform independent rules and platform specific actions can be defined separately from dependency rules.
Customizable Developers can enhance and extend KJam by creating user defined rules to utilize other built-in directives.
Language KJam includes flow-control statements, variables, and a few other features of general purpose languages.
Automatic Dependencies KJam computes dependencies for its targets during building. There is no need for a separate off-line make depend step.
Enhancements:
- A new "immediate" action modifier keyword was added, which causes actions to be run as soon as they are parsed, instead of during the command phase.
- Output formatting was improved.
- Several bugs were fixed.