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

Python Protocol Simulator download

Python Protocol Simulator

Python Protocol Simulator Description
portable python protocol simulator for testing purposes. Support radius, diameter, dhcp, ldap, EAP calculations(SIM, AKA, AKA')
Python Protocol Simulator Features

DIAMETER protocol

RADIUS protocol

DHCP protocol

LDAP protocol

SMPP protocol

EAP calculations

Download:Click Here

PROSE Programming Language download

PROSE Programming Language

PROSE Programming Language Description
Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
PROSE Programming Language Features

Download:Click Here

phprbac download

phprbac

phprbac Description
RBAC (role based access control) is the de-facto standard in authorization and access control, because its much easier to maintain and use than traditional ACLs.

Unfortunately due to its complicated internals, not many implementations are available. PHP RBAC is compatible with NIST Level 2 RBAC standard and provides even more, with best performance yet available for any authorization library, and its for PHP.

Note: Development and support has been moved to Github (https://github.com/OWASP/rbac). New releases will continue to be released here on SF.
phprbac Features

NIST Level 2 Compliant

Public API is PSR Compliant

GUI Database Installer

Unit Tested

Download:Click Here

Panglossa go!Johnny PHP class library download

Panglossa go!Johnny PHP class library

Panglossa go!Johnny PHP class library Description
The Panglossa go!Johnny PHP class library is a collection of PHP classes designed to simplify and automate the work of the web programmer, allowing the use of a single programming language (PHP) instead of mixing up code from different languages.
Panglossa go!Johnny PHP class library Features

Download:Click Here

OpenHCMstandard download

OpenHCMstandard

OpenHCMstandard Description
The European FP6 project CAS delivered the OpenHCM neutral exchange standard to support the exchange of thickness measurements data for ships in service.

A consortium was founded in 2010 to manage and promote this OpenHCM standard, in order to reach a large acceptance of the standard all across the maritime industry, thus improving the safety of vessels and offshore units, as well as enhancing the efficiency of the whole condition assessment process.

Members of the OpenHCM consortium are, as of April 2014: Bureau Veritas (BV), DNV GL, Materiaal Metingen Europe (MME), SENER Ingenier��a y sistemas SA, Russian Maritime Register of Shipping (RS), Cybern��tix SA, Atlantec Enterprise Solutions GmbH (AES), Aveva, Lloyd's Register (LR).
OpenHCMstandard Features

Electronic exchange of data concerning the condition of maritime structures

Download:Click Here

< /td>

open-watcom download

open-watcom

open-watcom Description
C/C++ compilers and tools to compile and build for targets
DOS 16/32-bit, RDOS, Windows 16/32-bit, OS/2 16/32 bit, Linux 32-bit (x86), Netware

running on host OS
DOS, Windows 16/32/64-bit, OS/2, Linux 32/64-bit (x86/x64)
open-watcom Features

Download:Click Here

NodeBrain download

NodeBrain

NodeBrain Description
NodeBrain is a rule engine for state and event monitoring.
NodeBrain Features

Download:Click Here

Morfologik download

Morfologik

Morfologik Description
Polish morphological analyzer and Java libraries interfacing it. First completely open-source and comprehensive morphological tools and finite-state technology for Polish and other languages.
Morfologik Features

Download:Click Here

midori programming language download

midori programming language

midori programming language Description
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
midori programming language Features

easily re-hostable to a new machine/os

C code intergration (via libFFI) (eventually)

simple, clean, and consistent sytax

easy extension of syntax

uses libGMP

fast

Download:Click Here

M2S - Free SMS download

M2S - Free SMS

M2S - Free SMS Description
M2S is an application created by Jaume Segarra web-based, uses HTML5 code, PHP, Javascript and CSS to provide users of Firefox OS an application to send free messages. Being a web application, M2S is available for all devices with Internet access either mobile devices, computers or televisions SmarTV.
M2S - Free SMS Features

Free Messages

For Firefox OS and Tizen OS

Share URLs

Groups

Web aplication

Download:Click Here

Lightweight Java Monitoring download

Lightweight Java Monitoring

Lightweight Java Monitoring Description
A lightweight java monitoring api for intrusive monitoring
Lightweight Java Monitoring Features

Download:Click Here

JVx Application Archetype download

JVx Application Archetype

JVx Application Archetype Description
A preconfigured Maven Archetype that creates a preconfigured JVx application project.
JVx Application Archetype Features

Download:Click Here

JED download

JED

JED Description
JED is a server-side library of classes that support the client-side jquery DataTables interface for displaying and editing tabular data on webpages. If you want to be able to not only display tabular data, but also want full CRUD (Create,Read,Update,Delete) functionality, then you need JED on the Java Platform. Supports MySQL and Oracle RDBMS on the back end.

Our website has many examples on how to setup and use JED with DataTables. Be sure to visit and learn how to apply them on your next web application project.

PREREQUISITE:

You will need minimally the javascript files:
jquery.dataTables.js
dataTables.editor.js
You can get these from: http://datatables.net/ and https://editor.datatables.net/
JED Features

supports MySQL on the back end

supports Oracle on the back end

you can select, insert, update, and delete records directly form the DataTables interface

for all web application projects involving the Java platform

JED handles all the business logic on the server side

Download:Click Here

Java Regular Expression Tester Tool download

Java Regular Expression Tester Tool

Java Regular Expression Tester Tool Description
This is a Java program designed for helping programmers to test text strings based on user input made Java regular expressions.
Java Regular Expression Tester Tool Features

Download:Click Here

Irrlicht Lime download

Irrlicht Lime

Irrlicht Lime Description
The Irrlicht Lime is a .NET wrapper for the Irrlicht Engine. It wraps most of API available in native library, easily allowing you to use 2D/3D graphics in your app, written in C#, VB.NET or other .NET language.

Currently Lime is being develop under Visual Studio 2010 with .NET Framework 4.0. It includes bunch of examples and IntelliSense documentation.

Lime is not a distinct "engine", it is a wrapper with almost the same architecture witch native Irrlicht Engine has. You do not need to download/compile Irrlicht Engine, wrapper already has it and ready to be used straight from the box.
Irrlicht Lime Features

Download:Click Here< td bgcolor="#FFFFFF">

HotelsReservations download

HotelsReservations

HotelsReservations Description
Android Application devoted for hotels reservation in Lebanon (Rooms, Suites), exchanged with a web application using PHP/MYSQL.
HotelsReservations Features

Dynamic Extraction from Database

Verification and checking places / rooms available directly form the application

History view included all types and names of the local hotels with count of rooms/suites for each one

Multiple orders of rooms /suites for same entity (hotel)

Member registration required with auto activation of use

Download:Click Here

git download

git

git Description
No description
git Features

Download:Click Here

Freezer Persistence download

Freezer Persistence

Freezer Persistence Description
Freezer generates the code that implements the persistence layer of your application.

The input of the proccess is a class diagram where is expressed the model with the persistent entities of your application and their relationships. A first parser transforms the diagram into XML which denotes every entity descriptor. The tool reads the descriptors and generates all the artifacts required for the persistence layer: DAO, VO (DTO) and database tables.

The adventages of this strategy are: It��s easy to learn, provides good performance, and avoids writing large amount of tedious and error-prone JDBC code.
Freezer Persistence Features

Graphical Interface.

Easy to learn.

Good performance

Code adaptable to your needs.

Generates Java classes DAO and VO (DTO)

Generates the SQL for these databases: Oracle, MySql, PostgreSQL, SQLServer, Access, Cloudscape

Generates also SQL for: Sybase, DB2, DB2/400, SapDB, Hipersonic, Interbase, Axion (untested)

Generates the HTML documentation of your database.

Multiplatform: Tested with Linux and Windows

Minimum requirements: It only requires Java JDK 1.6 or above

Stable: Tested during years on many projects

Reverse tool to build an UML diagram from an existing database

Download:Click Here

FireWeb download

FireWeb

FireWeb Description
Single Page Application Framework for Java. Based on
JavaScript/AJAX/HTML. Without any scripting - only pure Java classes. Simply and easy to learn, use and extend.
FireWeb Features

Download:Click Here

eXtended Account Management System XAMS download

eXtended Account Management System XAMS

eXtended Account Management System XAMS Description
XAMS - eXtended Account Management System - allows Administration Mail- accounts (SMTP/POP3/IMAP2) and DNS. Easily create accounts, set aliases and with PHP + MySQL as backend you can let admins, resellers or customers work with it!

NEWS: XAMS 0.2.3 Debian package available.

This Debian package install in one step the complete XAMS solution with spam and virus engines (spamassassin and clamav).

Have a look at http://debs.xams.org/

For more information, look at this file: /usr/share/doc/xams/README.Debian.gz

Do not install this Debian package on a manually installed XAMS 0.1.0. User of the beta package should purge the old package and start a fresh install.

Reports bugs on the SourceForge Bugs page.
eXtended Account Management System XAMS Features

Manage any number of dom ains, mailboxes and aliases.

Multiple domains can be grouped as a "site". If you have, for example, two domains domain1.tld and domain2.tld within site site1 then mails to either of the two email addresses for user user (user@domain1.tld or user@domain2.tld) will be delivered to one mailbox.

Autoreply (out of office) support.

Mail accounts are independent from system accounts.

Mailboxes can have quotas, which you can manage by reseller, site or user.

Four different user-levels: Administrators, Resellers, Customers and Users. Each user-level and each user can have individual restrictions

Easy to use, web based GUI (front end)

GUI based BIND (DNS server) configuration.

Supports the Exim mail transfer agent.

Supports the Courier-IMAP mailbox server, which p rovides POP and IMAP access.

Supports the ClamAV or others virus scanners using SA-Exim and custom ACLs.

Supports MailScanner and SpamAssassin.

Supports any web-based mail user agent that uses POP or IMAP (RoundCube preferred).

Supports following SMTP-AUTH modes: PLAIN, LOGIN and CRAM-MD5 with or without TLS.

Uses MySQL for account storage.

Uses CDB library for fast domain lookups in Exim.

Source package includes PAM (Pluggable Authentication Modules) module and RoundCube plugins.

On configuration file to set-up all variables at install.

Debian package for Debian 6.0 Squeeze.

English, French and German language support.

Download:Click Here

emexis-webmail skin squirremail download

emexis-webmail skin squirremail

emexis-webmail skin squirremail Description
emexis-webmail is a skin for the well-known Squirremail The intention of this project is to create more friendly interface for the End User

If you have any problem or you would like share your thinking about the Emexis-Webmail, access our group on google. You can also send a mail for bborges@brc.com.br.


http://groups.google.com/group/emexis-webmail
emexis-webmail skin squirremail Features

task

schedule

Download:Click Here

Duck2Dox download

Duck2Dox

Duck2Dox Description
This Python script is designed to convert Autoduck markup in C++ style comments to Doxygen style markup.

The output is ready to be used with Doxygen. The output directory is a mirror of the input directory (the directory is copied before any conversion takes place) so the input remains untouched. The output directory only contains code that has been converted, and all non-supported files are removed from the output directory.
Duck2Dox Features

Doxygen

Convert entire directories of source code all at once

Download:Click Here

Dao Language download

Dao Language

Dao Language Description
Dao is a lightweight and optionally typed programming language with many interesting features. It includes features that can make concurrent programming much simpler. It has well designed programming interfaces for easy embedding and extending.
Dao Language Features

Download:Click Here

Tuesday, 3 June 2014 ConGUI-Lib download ConGUI-Lib ConGUI-Lib Description ConGUI-Lib is a library for creating text-user-interfaces. It is written in C++, using the object-oriented paradigm, to provide an easy way to create TUIs. ConGUI-Lib Features Download:Click Here Monday, 2 June 2014 Code--Blocks IDE download Code::Blocks IDE Code::Blocks IDE Description Code::Blocks is an open-source cross-platform IDE (Integrated Development Environment) for C/C++. Designed with flexibility in mind, most of its features are provided by external modules (plugins) making it easily extendable and configurable. Code::Blocks IDE Features Download:Click Here Sunday, 1 June 2014 Chaos UI Framework download Chaos UI Framework Chaos UI Framework Description A Flash UI Framework using the Adobe drawing APIs to create everything. All UI objects can be skin. Chaos UI Framework Features Download:Click Here Saturday, 31 May 2014 BRAHMS download BRAHMS BRAHMS Description BRAHMS is a Modular Execution Framework for dynamical systems. It knits together independently-authored software modules implementing dynamical processes into an integrated system, and supervises the deployment and execution of that system. BRAHMS Features Download:Click Here Friday, 30 May 2014 Aspose for NetBeans download Aspose for NetBeans Aspose for NetBeans Description Aspose for NetBeans project enables NetBeans IDE users to create a new NetBeans project through an Aspose Project Wizard. Through this wizard, developers can select and download the latest Aspose File Format Java libraries and samples of their choice. Aspose for NetBeans Features This plugin helps you to explore Aspose Java components inside your favorite IDE. Aspose New Project creates a new project by downloading and referencing libraries of Aspose Java components. Aspose New Project wizard allows you to select components from Aspose Java product lines like Aspose.Cells for Java and Aspose.Words for Java. Once specific component is selected, its reference is automatically downloaded from Aspose servers and referenced in classpath of the project. Once project is created using "Aspose New Project", user can then add Aspose samples using Aspose New File. Available samples are displayed in tree format from where user can select one. Selected samples will be added to current project including source files and required data files. New created project is ready to debug/evaluate, all references are automatically added. With this plugin, you never need to check for new releases of Aspose components. Whenever a new release is published, you will be notified while creating project and you can also check release notes to save your time. Download:Click Here

An electronic Book Kit download

An electronic Book Kit

An electronic Book Kit Description
eBK �C an electronic book kit �C is primarily designed to take documents which conform to the Open Document Text format as produced using OpenOffice Writer format and use them to create an electronic book (ebook) that adheres to the ePUB format. Such ebooks can be read using computer software or using many of the currently available ebook readers. The Wikipedia entry on ePUB gives more information on the ePUB standard and on compatible ebook readers. eBK comprises two tools: ODTConverter and eBKBuilder, both programmed in Java.
An electronic Book Kit Features

Download:Click Here

ABL - Progress 4GL Editor extensions download

ABL / Progress 4GL Editor extensions

ABL / Progress 4GL Editor extensions Description
ABL / Progress 4GL Editor extensions, to add convenience and robustness to the development. Supported by all versions / OS / Terminal environments.
ABL / Progress 4GL Editor extensions Features

Download:Click Here

Tuesday, 27 May 2014

A Very Simple Captcha download

A Very Simple Captcha

A Very Simple Captcha Description
This Plugin provides very simple and powerful captcha for your blog with wide variety of logical methods and models. By displaying different logical captcha with random manner may provide high level of security.

Users can select wide variety of methods to display the captcha

1. Sorting in increasing or decreasing order
2. Entering biggest or smallest number
3. Selecting Am or Am Not Spammer using combo box
4. Entering the alphabets
5. Addition or Subtraction
6. Selecting Am Not Spammer using check box
A Very Simple Captcha Features

Sorting in increasing or decreasing order

Entering biggest or smallest number

Selecting Am or Am Not Spammer using combo box

Entering the alphabets

Addition or Subtraction

Selecting Am Not Spammer using check box

Download:Click Here