Concurrent Validity

Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD

An exploration of parallel/concurrent programming techniques using a new metaphor: flocks of birds. Current method using lines of code is slow and error prone. Changing metaphor to flocks of birds will produce programs more easily and efficiently.

A subset of the TestCon project, ConAn builds on Roast to provide a testing framework for concurrent Java components. For more details on the TestCon project see http://www.itee.uq.edu.au/~testcon/


Platforms: Windows, Mac, Linux

The DataTime Process Framework is intended to support the processing of time-based data in a modular, concurrent, distributed and extensible manner. C++, using YARP, ACE, Qt and MUSCLE on Linux, OSX, Windows and Solaris.


Platforms: Mac, Linux

LeverPack is a small, transaction based, secure, concurrent, and efficient record repository management engine written in Java. It provides READ_COMMITTED transaction isolation level supported read/write access to user data records.


Platforms: Windows, Mac, Linux

The project Mandala helps the development of concurrent and/or distributed applications. It is based on the asynchronous reference concept which provide asynchronous and potentially remote method invocation.


Platforms: Windows, Mac, Linux

MySQL Control Center is an excellent GUI front end for MySQL database creation and administration. It allows multiple concurrent MySQL server connections, MDI (or not under Linux), stored login credentials, point and click dump file imports and more.


Platforms: *nix

ParaPascal is a programming language, an integrated development environment and simulator for learning concurrent programming.


Platforms: Windows, Mac, Linux

A library to manage 'batches' of (possibly) concurrent processes.


Platforms: Windows, Mac, Linux

When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement.


Platforms: Windows, Mac

SPIZD stands for Stress Probing Invasive Zap Destructor; it's a command-line stress test tool used to determine how many simultaneous (concurrent) connections servers can handle. Protocols: http, pop3, pop3s, imap, imaps, smtp, smtps, ssh, radius.


Platforms: Windows, Mac, Linux

Tapedispatcher is a service which provides coordinated concurrent access to all tape libraries in an organization. Supported are tape drives and libraries attached locally to a host, and those shared over a fibre channel SAN.


Platforms: Windows, Mac, Linux

Ultramagnetic is a concurrent fork of GAIM that provides strong end-to-end encryption using libgcrypt and anonymous routing using the Six/Four protocol.


Platforms: Windows, Mac, BSD, Solaris, Linux

wxCvs is a cross-platform GUI frontend to the GNU Concurrent Versioning System (CVS). It is written in python and uses bindings to the wxWindows C++ cross-platform GUI toolkit (http://wxwindows.org). The python bindings to wxWindows is known as wxPyton


Platforms: Windows, Mac, Linux

Easily produce custom XML from Java code with validity checking and namespace support. Character stream and SAX event outputs are supported now. More can be added via a plug-in interface.


Platforms: Windows, Mac, Linux

TextMate Plug-in: Check XML and XHTML documents for Well-Formedness and Validity while editing them in TextMate with support for DTD, W3C XML Schema, RELAX NG and XInclude.


Platforms: Mac

The EUVAT widget is a simple widget for verify the validity of a VAT number issued by any EU Member State. The check is done using EU's provided service. The service should check not only the validity of the VAT number, but also that such a number was issued.


Platforms: Mac

Supports authentication via all standard CVS protocols, plus Windows specific SSPI and Active Directory, Secure transport support via sserver or encrypted SSPI. After installing CVSNT is integrated into the Apple XCode development environment. CVSNT can be used from the Mac OS X shell or from...


Platforms: Mac

Mail-it Now is an advanced form to mail script, that checks the email and message fields, and the validity of the email address. It works with every hosting provider using mail or email functions. It handles multiple file uploads and generates the reply page automatically.It also supports...


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

GNU Common C is a portable and highly optimized class framework for writing C applications that need to use threads and support concurrent sychronization, and that use sockets, XML parsing, serialization, config files, thread-optimized String and data structure classes, etc. This framework offers...


Platforms: *nix, C/C++, BSD