Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
JExpress is a Java installer builder and auto-updater. It gives you your choice of a standalone installer, including both native and cross platform installers and updaters for Windows, Mac OS X, Linux, and Solaris, or a Java Web Start one-click install. You create your installer quickly with your choice of a simple wizard or a powerful advanced interface, both included. You can bundle the exact JVM you want with your installer. The auto-updater gives you a continuous revenue stream after the sale. Your software is always up-to-date, so your customers have fewer problems. You also get all the features you expect in a top end installer. Your Java application becomes a native program just like any other. On Windows it's an EXE, on Mac OS X an app bundle, etc. If you need something really special, you can customize your installer by adding simple Java classes. You can even get a source license at a reasonable price.
The Jasmin software distribution includes an implementation of the Script MIB according to RFC 2592 with a Java runtime engine, a selection of demonstration scripts, a Java package called "scriptmib" supporting the development of manager applications for the Script MIB, Smurf, a graphical user interface to the Script MIB, and JAX, a Java package for building AgentX sub-agents.
Kannel is a WAP gateway. It attempts to provide this essential part of the WAP infrastructure freely to everyone so the market potential for WAP services, both from wireless operators and specialized service providers, will be realized as efficiently as possible. It also works as an SMS gateway for GSM networks. Almost all GSM phones can use it to send and receive SMS messages, so this is a way to serve many more clients than just those using a WAP phone. Kannel was among the first WAP gateways to be certified as WAP 1.1 compliant.
KBACKUP is intended for handling of backups no matter whether they reside on disk or tape or even in files. As most other backup programs available today are either confusing the user with lots of long command line options, or user friendly but not powerful at all, the aim behind writing KBACKUP was to provide a user friendly yet powerful backup program. It is also intended to be kept compatible to existing and well proven archive formats, so you can restore your archives even if you should not have KBACKUP around anymore.
KDevelop is an integrated development environment which makes the creation and development of applications an easy task even for beginners. Highlights of the current release are: an application wizard for easy creation of KDE 4, Qt4, GNOME, and terminal C/C++ projects, full project management, a syntax-highlighting editor, code completion, an integrated dialog editor for the Qt/KDE GUI libraries, an internal debugger, a full-featured class browser with class tools, CVS and SVN support, an integrated HTML-based help system offering manuals and class-references, and extensive search mechanisms to browse sources and documentation.