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.
An assortment of various useful phpBB2 mods including: DB Backup Exclude Tables Mod to allow an admin to easily exclude tables from db backups and Realistic Stat and Memberlist Mod which changes the index page stats and the memberlist for more relevance.
ResK is a collection of data structures and algorithms for the compression of resolution proofs. Resolution proofs are used by various sat-solvers, smt-solvers and first-order theorem provers, as certificates of correctness for the answers they provide. These automated deduction tools have a wide range of application areas, from mathematics to software and hardware verification. By providing smaller resolution proofs that are easier and faster to check, ResK aims at improving the reliability of
sgCMS is an O.O.P. centric Web C.M.S. (also see C.M.S) for lightweight projects. Using the sgClass system with major focus on ease of use and extensibility sgCMS is a veritable powerhouse for general purpose websites. Feature ListBuilt-in Template Management System Full XML Complicity Module System Ease of Use RSS 2.0 Feed Generator Please note: Some features may not be active yet! For a complete list of features and their current status see: Features List