Welcome to Freecode
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Release Notes: This release concentrates on stabilizing the processing structure, increasing the test coverage, and bugfixes. It reworks "Process / View Processes": now all modules it tries to work on within a process are listed. "Details" shows more useful information. There is an XSD change: the element BIBLIOGRAPHY is allowed to have no ITEM sub elements.
SchemaCrawler is a Java API which makes working with database metadata as easy as working with ordinary Java objects. It is also a database schema discovery and comprehension and schema documentation tool. You can search for database schema objects using regular expressions, output the schema and data in a readable text format, and find potential design issues with lint . The output is designed to be diff-ed against other database schemas. SchemaCrawler supports almost any database which has a JDBC driver, but for convenience is bundled with drivers for some commonly-used RDBMS systems. SchemaCrawler works with any operating system which supports Java.
Release Notes: This release has a rework of the column data type classes, as well as a workaround for an Oracle JDBC driver bug with reporting data type information.
gd is a library for creating and reading PNG, JPEG, GIF, WBMP, and XPM images. It has many features and can be used in scripts (e.g. PHP, Perl, Ruby, Lua, and Python) for dynamic image generation. PHP users should note that PHP 4.3.x includes its own distribution of gd, which is currently the best choice for PHP applications.
Release Notes: This release fixes reported bugs and glitches.
Blink is a small public-access blog engine. It supports running multiple blogs. It displays a main page and links for accessing older posts. It allows a reader to search for posts. Each blog can be oldest post first or newest post first. Any blog can be set to take public posts or allow comments. Admin functions include archiving all blogs and the viewing and deleting of new posts and comments. Posts can also utilize a semiotic bolding of definitions and automatic linking to all definitions. All functionality is in one CGI file under 10 kb.
Release Notes: The CLASS variable has been added to allow CSS styling of post headers. Post FNAME has been changed to `date +%s` to facilitate editing of posts. Internal changes were made to handle the new FNAME. Note: users must rename existing posts to the new system.
TYPO3 CMS is a Web Content Management System which features automatic creation of navigational menus, headlines, and other dynamic graphical elements, automatic conversion and scaling of images, the ability to present different templates based on variables such as client browser or country code, support for multiple templates on a site, and a built-in password-protection option. Pages can be timed to be shown on a certain date, be hidden on a certain date or just temporarily hidden. TYPO3 supports search in SQL-databases and redesigning of a website at once is just a matter of creating a single new template.
Release Notes: This is a bugfix release. One bugfix has database changes and needs to be updated in Install Tool.
cartman allows you to create and manage your Trac tickets from the commandline, without the need to set up physical access to the Trac installation/database. All you need is a Trac account.
Release Notes: This release adds adds an editable default template, allows the ticket owner to be specified even when using a template, adds Trac 1.0 compatibility, shows Priority when doing "cm properties", and fixes various bugs.
fwlogwatch is a packet filter and firewall log analyzer with support for Linux ipchains, Linux netfilter/iptables, Solaris/BSD/HP-UX/IRIX ipfilter, Cisco IOS, Cisco PIX/ASA, Netscreen, Elsa Lancom router, and Snort IDS log files. It can output its summaries in text and HTML and has a lot of options. fwlogwatch also features a realtime anomaly response capability with a Web interface.
Release Notes: This release adds IPv6 support for ipfilter and includes fixes for the netfilter parser and forward DNS resolution.
JPPF makes it easy to parallelize computationally intensive tasks and execute them on a Grid.
Release Notes: This maintenance release brings important bugfixes and enhancements.
Redline is a pure Java RPM library that supports the creation and reading of RPM packages. It includes an Ant task for build script integration.
Release Notes: This release adds a control for disabling logging to standard out. This allows users to disable messages printed to system out to avoid polluting server log files. Future releases will include configurable logging to control this output.
DataNucleus AccessPlatform is a standards-compliant Java persistence product. It is fully compliant with the JDO1, JDO2, JDO2.1, JDO2.2, JDO3, JPA1, and JPA2 Java standards, and provides a REST API. It complies with the OGC Simple Feature Spec for persistence of geospatial Java types. It allows access to all popular RDBMS available today, together with the MongoDB, LDAP, NeoDatis, JSON, Excel/ODF spreadsheets, XML, BigTable, HBase, and Neo4j databases.
Release Notes: A bug in the SQL statement for pessimistic locking for SQLServer was fixed. A bug in Localisation creation for OSGi was fixed. A bug in execution of SQL queries was fixed.
Joget Workflow is Web-based workflow software made to develop workflow and Business Process Management applications. More than just a workflow or BPM platform, it offers full-fledged agile development capabilities (consisting of processes, forms, lists, CRUD, and UI), not just backend EAI/orchestration/integration or the task-based interface of traditional workflow/BPM products. It can, for example, build a CRM sales force automation app instead of just a sales quotation approval process. Video tutorials are provided.
Release Notes: This release allows users to not only develop Web apps, but Web apps that are built and run on the cloud. From the mobile perspective, all Web apps developed on v4 are automatically optimized for mobile devices.
LibRaw-demosaic-pack-GPL3 is a set of additional demosaic and noise reduction algorithms for LibRaw. These algorithms include AMaZE demosaic and color aberrations correction by Emil Martinec.
Release Notes: 75+ new cameras are supported. dcraw_process() can now be called several times with different parameters without re-opening and unpacking the file for second and consecutive calls to dcraw_process. Document mode processing has been removed. There is new banding suppression code.
LibRaw-demosaic-pack-GPL2 is a set of additional demosaic and noise reduction algorithms for LibRaw. These algorithms include AFD, LMMSE by Manuel Llorens, VCD, modified VCD, AHD+VCD, and two advanced median filters by Paul Lee.
Release Notes: 75+ new cameras are supported. dcraw_process() can now be called several times with different parameters without re-opening and unpacking the file for second and consecutive calls to dcraw_process. Document mode processing has been removed. There is new banding suppression code.
LibRaw is a library for reading RAW files obtained from digital photo cameras (CRW/CR2, NEF, RAF, DNG, and others). LibRaw is based on the source codes of the dcraw utility, though some of the drawbacks of dcraw have been eliminated. The users of the library are provided with an API to be used when writing their software programs.
Release Notes: 75+ new cameras are supported. dcraw_process() can now be called several times with different parameters without re-opening and unpacking the file for second and consecutive calls to dcraw_process. Document mode processing has been removed. There is new banding suppression code.
phpMyAdmin is a tool intended to handle the administration of MySQL over the Web. It can create, rename, and drop databases, create/drop/alter tables, delete/edit/add fields, execute any SQL statement, manage keys on fields, create dumps of tables and databases, export/import CSV data, and administrate one single database and multiple MySQL servers.
Release Notes: This release fixes a problem which made views not updatable.
Cobra is a general purpose programming language with a clean, high-level syntax. It provides language level features for quality, including first class unit tests and Eiffel-style contracts. It supports both static and dynamic binding. Cobra is a compiled language with good run-time performance, but also provides some scripting conveniences such as a pound-bang line (#!) and one step compile-and-run. Cobra runs on Linux, Mac, Windows, and anywhere else that Novell Mono or MS .NET exist, including handhelds.
Release Notes: This release adds 15 minor refinements and 21 fixes.
Plainview SDK is a toolkit of commonly-used classes and functions, including Wordpress and Drupal SDKs. The Wordpress SDK simplifies plugin coding using wrappers and object classes for tabs, tables, etc.
Release Notes: This release adds an HTML5 form handling class. All related classes have plenty of documentation.
Knotter is a highly configurable interlace designer. Interlace patterns are a kind of design historically used as a decorations in many places and by different cultures (some examples are Celtic knotworks and Islamic interlaces). Knotter aims to allow its user to design such patterns in an intuitive way and to provide easy ways to integrate the result into external general-purpose graphic software. For this purpose, designs created within Knotter can be saved in a custom human-readable format and exported as Scalable Vector Graphics and in a wide number of raster image formats.
Release Notes: The most notable changes are the ability to add multiple borders to the knot and a plugin interface to create custom cusp shapes. This version contains several bugfixes, as well.
Job Monarch is an add-on to the Ganglia Monitoring System that provides batch job monitoring and archiving plus a graphical overview of clusters and assorted batch systems. It fully supports Torque and PBS, and has experimental support for LSF and SGE.
Release Notes: This release adds support for the SLURM Workload Manager and contains several bugfixes and improvements.
Data Crow is a movie, video, book, image, software, and music cataloger/media manager. Data Crow uses MusicBrainz, Amazon, IMDb, and many other Web services to retrieve the information for you. It is highly customizable, easy to use, and feature rich. It helps you to keep track of your loans, allows you to create reports, enables you to create your own modules (using wizards) and, most importantly, enables you to easily manage all your collections.
Release Notes: This release adds bugfixes only.
The WiKID Strong Authentication System is a highly scalable, secure two-factor authentication system. It is simple to implement and maintain, allows users to be validated automatically, requires no hardware tokens, has a simple API for application support (via Ruby, PHP, Java, COM, Python, etc.), supports multiple domains, and supports replication for fault tolerance and scalability. It also supports mutual /host and transaction authentication, wireless tokens only domains, locked tokens (to your PC), anti-keystroke logger keypad PIN entry, etc.
Release Notes: This release sets maxlength on radius secret to 128 and comments out the unneeded tac_plus build.
UCommon is a lightweight C++ library to facilitate using C++ design patterns even for very deeply embedded applications, such as for systems using uClibc along with POSIX threading support. For this reason, UCommon disables language features that consume memory or introduce runtime overhead. UCommon introduces some design patterns from Objective-C, such as reference counted objects, memory pools, and smart pointers. UCommon introduces some new concepts for handling of thread locking and synchronization.
Release Notes: This release adds many bugfixes, particularly in respect to gnutls support and long-standing address list comparison operator issues.
Awlsim is a Step 7 AWL/STL/PLC simulator. It achieves good performance of several tens of thousands of AWL instructions per second. S7-3xx and S7-4xx CPUs (with 2 and 4 accus) are supported.
Release Notes: Support for FB and FC call interfaces and static and temporary variables was added. Performance improvements were made.
coastal-qt is a small collection of Qt 4/5 desktop applications built around a small Qt extension library. The library mostly focuses on missing features and services like OSD desktop notifications (with DBUS bindings) and offers some convenience classes for Qt. The current applications include a GUI man page viewer, a search tool, and a desktop user notification service daemon with multicast chat.
Release Notes: This release adds many UI bugfixes and optimizations. In particular, computation of chat text area is only performed initially and when the window state changes, rather than on every paint event.
coverity-submit submits scan requests to the Coverity demo server. If you are a registered user of Coverity's self-build server and have the cov-build tools installed locally, this script automates the process of running the tools and submitting the results with an analysis request to Coverity. It can be configured to store build passwords, local build commands, and other required information for multiple projects so you don't have to remember it - just call the tool and let it manage the details.
Release Notes: The -v option now preserves the build log for diagnostic purposes.