proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
This is an outliner editor and MDI implemented in Swing. The GUI is similar to the outliner found in Userland's Frontier. Starting with version 1.8.10, Java 1.4 is required. Previous versions require Java 1.3.
LANCon is a LANParty and LAN Tournament management system which helps organize and run a LAN Party or Gaming event. LANCon is written in ASP (VBScript) and doesn't require a Database since all data is stored in XML.
Midnight Xen is a project to finish the Xen project manager for zope. We also intend to implement Gantt and Pert Chart features. The first priority is to make a build that works right on improt into Zope and then re-initiate the security later.
ObscureEncrypt is a high level security encrypter. It encrypts at three levels, 448 bit Blowfish encryption, Obscurity, high level encryption. Making it almost impossible to decrypt
Open Faktura is a Open-Source Faktura System that uses PostgreSQL as Database Engine and is written in C++/QT, because it is platform indepentend and QT is a powerful C++ Framework with good SQL Features.
RTK is a cross-platform C++ GUI toolkit - optimised, stable, and robust. It\'s easily adoptable for any kind of software development.
Project Shutdowner allows the shutdown of remote computers across the internet, without requiring a windows version with the windows shutdown tool. Computers can be shut down from anywhere with the click of a button.
httptrace - TCP/HTTP trace utility (for Java or Win32/jview.exe) Listens on a TCP/IP port, redirects data to another port and writes traces. Several options (search for patterns, ...).
picKLE is an image gallery system created in PHP. It generates thumbnails and resampled images on the fly and caches them. It is made to be extremely simple to install/configure.
AVirCAP is a system for manual and / or automated detection of CodeRed and Nimda type of hack attempts and virtually all other kinds of "logable" intrusion attempts. It can work stand alone or together with other additional AVirCAP machines in the LAN/W
ActiveODMA extends usability of the AIIM Open Document Management API (ODMA) and middleware by providing configuration confirmation and troubleshooting tools. New ODMA fixtures, documentation, and sample code make ODMA VB- and script-friendly.
Aeon is a totally cross-platform game development kit coded in and designed for C++. Aeon includes engines for 3D/2D graphics, audio, input, GUI, and much more, as well as several useful tools, all designed to make game creation easier and more practical.
Manage the place of interests-hotels-restaurant archive for a travel agency that sells custom developed tours and then let you build the tour, computing costs, print description, compute revenues.
A java based alarm clock with a skinned main window. It can run files or play sounds at specific times and can handle any number of alarms in military time or am/pm style.
CMS/SiteManager: Goals = Simplicity,Modules,Userbased Simplicity,Themeable,Secure,POSA
EDI/EAI file format converter supporting CSV, flat file, X12 EDI to and from XML. XML to XML conversion uses XSLT. Two implementations in Java/Xerces and C++/MSXML. Currently a set of stand-alone utilities. Next version to support chain of conversion
Babya System is a free shell replacement that is Windows XP compatible and easy to use. It has many useful features-like Babya Discoverer, which has automatic popup ad blocking, and easy access to Windows Control Panel applets.
That is just a DHTML code that changes background images, using it as background for windows and active desktop makes it look great :)
An online torrent downloader which runs in the web browser
Download magnet links and torrents using this downloader in the web browser.
BlackFox OM (BlackFox, The Object Model) is a library for holding and manipulating object models of any systems, applications and libraries. You can use it as a part of UML tools, part of code generators, part of object-oriented operating systems etc.
Blogomatic is a Win32/Linux compatible Web journal system. It runs on PHP using MySQL, and aims to be powerful, yet simple to configure, use, and setup.
BEEJ is a Boolean Expression Editor for Java. This library provides a GUI interface to build complex (or simple) expressions with your options as a base component.
Multi platform programming in ANSI C & C++