The ATS PL System download

The ATS PL System

The ATS PL System Description
The programming language ATS unifies specification and implementation by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
The ATS PL System Features

ATS supports programming with theorem-proving

ATS and C share the same data representation

Download:Click Here

SQLExecutor- A Simple JDBC framework download

SQLExecutor: A Simple JDBC framework

SQLExecutor: A Simple JDBC framework Description
A simple JDBC framework (JAR) by Jeff Smith. Employs database independent, unchecked exception code. Supports Oracle, mySQL, HSQL, and PostgreSQL--can be easily extended to new databases. See articles here: http://www.softtechdesign.com/media.html
SQLExecutor: A Simple JDBC framework Features

Download:Click Here

Software Automation Framework Support download

Software Automation Framework Support

Software Automation Framework Support Description
SAFS is a software test automation framework supporting data-driven (aka keyword-driven) functional test automation and associated services.

The framework can run stand-alone on Windows, Linux, and Mac as well as integrate the use of IBM Rational Functional Tester, IBM Rational Robot, Smart Bear/AutomatedQA Test Complete, Apple XCode UIAutomation, Android SDK Automaton, Thoughtworks Selenium, and several other tools.

Among other features, it provides advanced support of language localization testing (NLS) allowing the same tests to work for many different languages or test configurations.

With various different tool configurations SAFS can be used to test Java, Web/Html, Flex, .Net, WPF, Win, iOS, and Android domains natively. And with advanced Image-Based Testing support built-in SAFS can be used to test virtually anything, anywhere.
Software Au tomation Framework Support Features

Data-driven test automation services supporting advanced NLS testing.

Tool-independent implementation for long-term test automation success.

Tool-independent test design allowing tool migration and coop execution.

Multi-platform support for execution on Windows, Unix/Linux, and Mac OS X.

Supports testing of Java, Flex, Web/Html, .Net, WPF, Android, iOS, *any* UI.

Download:Click Here

SIGAFS download

SIGAFS

SIGAFS Description
Es un sistema administrativo para entes sin fines de lucro (entes de la administraci��n publica Venezolana) para el control de presupuesto, banco, nomina, contabilidad, compras, cuentas por pagar, inventario y caja.
SIGAFS Features

Download:Click Here

RPyC (remote python call) download

RPyC (remote python call)

RPyC (remote python call) Description
RPyC, or Remote Python Call, is a transparent and symmetrical python library for remote procedure calls, clustering and distributed-computing.
RPyC (remote python call) Features

Download:Click Here

Reamsey download

Reamsey

Reamsey Description
The project is still under development. There is a limited version which will be released for beta users soon. The databases that will be initially supported are oracle and mysql for now.
Reamsey Features

Download:Click Here