Free mit software for windows

SecEx MD5+ Digest 1.1 is a tool making and checking MD5, SHA-1 and RIPE-MD 160 message digests on one or multiple files. SecExMD5+ features a graphical wizard style interface, full integration with Windows explorer right-click menus, multiple file processing, and one-click email support for MAPI based email clients for easy distribution of digital signatures via email.

""The Secure Hash Algorithm 1 ( SHA1 ) has been officially adopted by the United States government as the Secure Hash Standard of the Federal Information Processing Standard ( FIPS ) and is specified in RFC 3174; RIPEMD-160 is a cryptographic hash function designed in the framework of the European Union's RACE Integrity Primitives Evaluation (RIPE) project; the MD5 message digest algorithm specifies a standard for producing a unique 128 bit fingerprint or digital signature for documents of arbitrary length. MD5 was designed by Professor Ronald L. Rivest of MIT and if specified in RFC 1321.

A simple utility that sets your system time from the Internet. Just click on the Set Time button and it automaticallyconnects to the NTP server at MIT and sets your clock.

SmartEiffel is a mature and free compiler for the Eiffel object-oriented language Eiffel is a pure object-oriented language aimed at the writing of software components that are easy to read, test, extend, maintain and reuse.
Its emphasis on the collaborative aspects of software development, as communication and documentation, makes Eiffel a well suited language to large and very large projects.
At the same time, its simplicity and careful choice of features make it ideal for learning object-orientation concepts and developing analysis and design skills.
SmartEiffel is a research and free software project that provides the Eiffel community with:
- a mature and free compiler (GPL licence)
- an extensive and entirely object-oriented class library (MIT/X-11 licence)
- all those Eiffel-specific tools needed for a complete development environment, as an Eiffel-level symbolic debugger or a documentation tool
As the compiler translates Eiffel code either to C or Java bytecode, it can be used to write programs that run on virtually any platform for which an ANSI C compiler or a Java virtual machine exist. The compiler and all the accompanying tools are fully written in Eiffel, so they can be used in all these platforms.
SmartEiffel extends traditional Eiffel care about reliability and good software engineering practises with a specific concern about runtime performance and tiny memory footprint. You can get a measure of the success of the project on that area at The Computer Language Shootout Benchmarks.
The language
All the traditional Eiffel features are implemented in SmartEiffel:
- Design by Contract: including disciplined exceptions and optional assertion execution (on a by-cluster basis)
- Multiple inheritance and genericity
- Static typing
- Uniform type system
- Automatic garbage collection
- .ace configuration files
In addition, some more recently proposed improvements have also been incorporated:
- Tuples and agents
- Insertion (implementation-only inheritance)
- A plug-in mechanism for better interoperability with other languages
- Limited introspection capabilities
The language has entered a stability period where only minor changes will be added. All future modifications must prove to represent a real gain from the point of view of software engineering, and they can not spoil run-time efficiency.
Main features:
- Add features/limitations/changes here

A speech recognizer written entirely in the Java programming language Sphinx-4 is a state-of-the-art speech recognition system written entirely in the Java programming language.
Sphinx-4 was created via a joint collaboration between the Sphinx group at Carnegie Mellon University, Mitsubishi Electric Research Labs (MERL), Sun Microsystems Laboratories, and Hewlett Packard (HP), with contributions from the University of California at Santa Cruz (UCSC) and the Massachusetts Institute of Technology (MIT).
Sphinx-4 started out as a port of Sphinx-3 to the Java programming language, but evolved into a recognizer designed to be much more flexible than Sphinx-3, thus becoming an excellent platform for speech research.
Sphinx-4 is a very flexible system capable of performing many different types of recognition tasks. As such, it is difficult to characterize the performance and accuracy of Sphinx-4 with just a few simple numbers such as speed and accuracy.
Instead, we regularly run regression tests on Sphinx-4 to determine how it performs under a variety of tasks. These tasks and their latest results are as follows (each task is progressively more difficult than the previous task):
- Isolated Digits (TI46): Runs Sphinx-4 with pre-recorded test data to gather performance metrics for recognizing just one word at a time. The vocabulary is merely the spoken digits from 0 through 9, with a single utterance containing just one digit. (TI46 refers to the "NIST CD-ROM Version of the Texas Instruments-developed 46-Word Speaker-Dependent Isolated Word Speech Database".)
- Connected Digits (TIDIGITS): Extends the Isolated Digits test to recognize more than one word at a time (i.e., continuous speech). The vocabulary is merely the spoken digits from 0 through 9, with a single utterance containing a sequence of digits. (TIDIGITS refers to the "NIST CD-ROM Version of the Texas Instruments-developed Studio Quality Speaker-Independent Connected-Digit Corpus".)
- Small Vocabulary (AN4): Extends the vocabulary to approximately 100 words, with input data ranging from speaking words as well as spelling words out letter by letter.
- Medium Vocabulary (RM1): Extends the vocabulary to approximately 1,000 words.
- Medium Vocabulary (WSJ5K): Extends the vocabulary to approximately 5,000 words.
- Medium Vocabulary (WSJ20K): Extends the vocabulary to approximately 20,000 words.
- Large Vocabulary (HUB4): Extends the vocabulary to approximately 64,000 words.
Main features:
- Live mode and batch mode speech recognizers, capable of recognizing discrete and continuous speech.
- Generalized pluggable front end architecture. Includes pluggable implementations of preemphasis, Hamming window, FFT, Mel frequency filter bank, discrete cosine transform, cepstral mean normalization, and feature extraction of cepstra, delta cepstra, double delta cepstra features.
- Generalized pluggable language model architecture. Includes pluggable language model support for ASCII and binary versions of unigram, bigram, trigram, Java Speech API Grammar Format (JSGF), and ARPA-format FST grammars.
- Generalized acoustic model architecture. Includes pluggable support for Sphinx-3 acoustic models.
- Generalized search management. Includes pluggable support for breadth first and word pruning searches.
- Utilities for post-processing recognition results, including obtaining confidence scores, generating lattices and embedding ECMAScript into JSGF tags.
- Standalone tools. Includes tools for displaying waveforms and spectrograms and generating features from audio.
System requirements:
- Java 2 SDK, Standard Edition 5.0 or better
- Ant 1.6.0