0release is a program to generate source and binary releases automatically. With minimal configuration, 0release will generate a source tarball release candidate, build it to create a binary archive, upload them to your Web server, check the uploads, and tag the release in GIT and update the version number. It can run unit-tests and custom actions, such as building documentation, etc. For Zero Install users, it can also upload a signed XML metadata file about the release, allowing these users to upgrade automatically. Releases are signed with your GPG key.
2D/3D Area Graph for PHP provides a very easy way to embed dynamically generated area graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use, and it's perfectly possible to add professional quality real time graphing to Web pages and applications within minutes.
2D/3D Line Graph for PHP is a script that provides a very easy way to embed dynamically generated line graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use, and it's possible to add professional quality real time graphing to Web pages and applications within minutes.
2D/3D Vertical Bar Graph for PHP is a PHP script that provides a very easy way to embed dynamically generated vertical bar graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use and makes it possible to add professional quality real time graphing to Web pages and applications within minutes.
The 3D Stacked Horizontal Bar Graph provides versatile components so that Web authors and Java developers can easily build and publish dynamic and interactive bar graphs. There are multiple data access methods, including database binding, a file reader, and an HTML page reader. This component also provides the ability to interact with other page components.
3D Vertical Bar Graph provides both client and server-side solutions for the incorporation of bar graphs into Web pages. It provides versatile components so that Web authors and Java developers can easily build and publish dynamic and interactive bar graphs. There are many configurable features and functions to both the applet and servlet and as such, the documentation and examples are designed to give both a full understanding of every feature and enable you to implement both the applet and servlet quickly and easily. The series of examples gives an overview of the variety of implementations possible.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Active Record connects business objects and database tables to create a persistable domain model where logic and data is presented in one wrapping. It’s an implementation of the object-relational mapping (ORM) pattern in which an object that wraps a row in a database table or view, encapsulates the database access, and adds domain logic on that data.
The adventure PHP framework (APF) is a utility to implement object oriented and generic PHP Web applications. It allows the developer to create programs in compliance with approved software design patterns, and the code base already has answers to many everyday problems. The framework cannot be described as an application that only has to be configured, but rather as a technical basis and design guide for the design of software. Further, it introduced many concepts and efficiency tools already well known in the Java community.
Akelos is an MVC framework for PHP that tries to bring the magic of Ruby on Rails to the PHP world. Akelos based applications can run on most shared hosting service providers since Akelos only requires a standard PHP installation on the server. Akelos is designed to make developers lives simpler by solving complex problems with unusual speed and productivity. Favoring "convention over configuration" leads to the creation of uniform and simpler-to-understand code.