Correctness

coNCePTuaL software is a tool designed to facilitate rapidly generating programs that measure the performance and/or test the correctness of networks and network protocol layers. coNCePTuaL centers around a simple, domain-specific progamming-language; a few lines of coNCePTuaL code can produce... Platforms: *nix

DB Sanity is a handy and reliable utility designed to performs checks on a database in order to verify data consistency and correctness of application deployments. It is invoked by command line and creates an HTML report with aggregated diagnostic summaries and listings of faulty database entries. Platforms: Windows

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers). Platforms: Windows, Mac, Linux

An electronic votingsystem Verifiable E-Voting (VEV) with underlying protocol to help secure the election process from malicious practices at the same time as allowing voters and candidates to verify the correctness of their votes. Platforms: Windows, Mac, Linux

The MATLAB program simulates binary frequency shift keying (BFSK) at baseband through Monte Carlo method. The goal is to simulate bit error rate (BER) over an additive white Gaussian noise (AWGN) channel. For realizing that, the effect of noise is represented in the baseband with Gaussian random... Platforms: Matlab

The MATLAB program simulates binary phase shift keying (BPSK) at baseband through Monte Carlo method. The goal is to simulate bit error rate (BER) over an additive white Gaussian noise (AWGN) channel. For realizing that, the effect of noise is represented in the baseband with Gaussian random... Platforms: Matlab

The programme here draws the plot of the periodic signal whose d-deOaoCkd-de? is given by user.Following data should be entered by user.1. Ck value (separate for k=zero, k= even and k=odd)2. Time period of periodic function3. Resolution4. Range of k (it is actually -inf to +inf) we can only give... Platforms: Matlab

The source distribution includes the libarchive library, the bsdtar and bsdcpio command-line programs, full test suite, and documentation: * Stable release: libarchive-2.8.4.tar.gz libarchive-2.8.4.zip The libarchive library features: * Support for a variety of archive and compression... Platforms: Mac

BitNami PostgreSQL module is a add-on for WAMPStack, LAMPStack, MAMPStack or RubyStack. This module ships and configure PostgreSQL database server and phpPgAdmin application to handle the administration of PostgreSQL over the Web. If you want to get a full Stack including Apache, PostgreSQL and... Platforms: Mac

OpenPAM is an open source PAM library that focuses on simplicity,correctness, and portability. Platforms: *nix

l10n-checks is a Python module that provides a way to check a given localization for completeness and correctness. It needs the Python Silme-library to work. #md5=9d248a3d6d677255b0eff75e0143fc1e #md5=eb9bf20d13bba7fcfffd65d51088e611 #md5=b157939c1f76049f4039229c1dd6e1d6 Platforms: *nix

BMDFM (Binary Modular DataFlow Machine) is software, which enables running an application in parallel on shared memory symmetric multiprocessors (SMP) using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to... Platforms: Windows, *nix

Im Translator provides a wide range of possibilities to communicate with ease and convenience in different languages. With Im Translator you can enter multilingual text, check it for correctness, adjust unreadable messages, translate in different languages, print results and send email. Im... Platforms: Windows

PostgreSQL is a powerful, Open Source relational database system. It is fully ACID compliant, has full support for foreign keys, joins, views, triggers, and stored procedures (in multiple languages). It includes most SQL92 and SQL99 data types, including INTEGER, NUMERIC, BOOLEAN, CHAR, VARCHAR,... Platforms: *nix, Windows

BMDFM (Binary Modular DataFlow Machine) is software, which enables running an application in parallel on shared memory symmetric multiprocessors (SMP) using the multiple processors to speed up the execution of single applications.BMDFM automatically identifies and exploits parallelism due to the... Platforms: Windows, Mac, *nix

HTTPD::Bench::ApacheBench is a Perl API for Apache benchmarking and regression testing. SYNOPSIS use HTTPD::Bench::ApacheBench; my $b = HTTPD::Bench::ApacheBench->new; # global configuration $b->concurrency(5); $b->priority("run_priority"); # add HTTP request sequences (aka: runs) my... Platforms: *nix

XOM is an XML object model. XOM project is a tree-based API for processing XML with Java that simultaneously supports streaming. In many use-cases, it can process arbitrarily large documents with effectively constant memory sizes. It strives for correctness, simplicity, and performance, in... Platforms: *nix

GNOME-Ding is a graphical tool for spellchecking and translation (of single) words. For spellchecking GNOME-Ding will by used a installed aspell-dictionary. For translation, GNOME-Ding will use a own dictionary, that will based on a Ding-Dictionary (Ding-Projekt). At moment, GNOME-Ding will... Platforms: *nix

Fortran::Format is a Perl module to read and write data according to a standard Fortran 77 FORMAT. SYNOPSYS use Fortran::Format; my $f = Fortran::Format->new("2(N: ,I4,2X)"); print $f->write(1 .. 10); # prints the following: # N: 1 N: 2 # N: 3 N: 4 # N: 5 N: 6 # N: 7 N: 8 # N: 9 N:... Platforms: *nix

WaMCom is an open source software project, providing modified versions of Mozilla client software. WaMCom comes from Web and Mail Communicator. End users are looking for stable software. But the Mozilla organization makes it clear to say: "We make binary versions of Mozilla available for... Platforms: *nix