Concurrent

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications....

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.


Platforms: Windows, Mac, Linux

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

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

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

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

Lurker is not just another mailing list archiver. It is capable of handling gigabytes of mail without slowing down. Lurker has been designed to scale to support sites with thousands of concurrent users and hundreds of new messages a second. If you run a high-volume mailing list archive, you...


Platforms: *nix

It uses ordinary C++ templates and code habits to eliminate some of the threading implementation work.It equires fewer lines of code to achieve parallelism than other threading models.The TBB library is also inherently scalable and no code maintenance is required as more processor cores become...


Platforms: C and C plus plus

Bribble is a platform that consists of several tools to provide your website with chat-sessions.The BRIBBLE-tools are:- the BRIBBLE-server that runs on a web-server- the BRIBBLE-chatbox which is opened by a user and is used to connect to the server.- a web-based backend to configure the...


Platforms: Java

Nennius is an advanced, object-oriented application engine written in PHP. With its current release Nennius offers the ability to run multiple, concurrent web applications off of a single Nennius engine.Each web application is fully customizable amd can easily be modified to fit almost any...


Platforms: PHP