We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
phpObjectForms is a fully object-oriented, highly customizable, easily extendable, library for creating and processing forms without writing any HTML code. The main goals of the library are ease of use and universality.
Project goalIn memory data grids have become a standard part of java application stack. There are plenty data grid middleware both commercial and open source. This project is home of various supplementary stuff related to data grids. This includes tools, libraries, benchmarks etc. Owner's note: I have to admit that there are a lot of mess at gridkit. I'm trying to sort it out but stuff like clean project/build setup, proper release procedure are documentation take huge amount of time. So if you
Rapture automatically proves theorems using resolution engine. In current incarnation it implements a naive resolutions method for a subset of first-order logic, which allows it to prove simple facts. Rapture is implemented in C# 3.0 and currently supports only Microsoft .NET Framework of versions 3.5 and higher. For being processed by Rapture first-order logic statements must be written in the form of .NET lambda-expressions. Upon adding statements to a rule set, Rapt disassembles them into abs