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).
passwdqc is a password/passphrase strength checking and policy enforcement tool set, including an optional PAM module (pam_passwdqc), command-line programs (pwqcheck and pwqgen), and a library (libpasswdqc). On systems with PAM, pam_passwdqc is normally invoked on password changes by programs such as passwd(1). It is capable of checking password or passphrase strength, enforcing a policy, and offering randomly-generated passphrases, with all of these features being optional and easily (re-)configurable. pwqcheck and pwqgen are standalone password/passphrase strength checking and random passphrase generator programs, respectively, and are usable from scripts. libpasswdqc is the underlying library, which may also be used from third-party programs.
AweMUD is a MUD server for use with fantasy-settings. Features include fully dynamic objects and characters, an advanced scripting system, and custom worlds. The engine will eventually have completely interactive rooms (items can be placed under benches, doors can be destroyed), complex magick, and interactive NPCs.
SILC (Secure Internet Live Conferencing) is a protocol which provides secure conferencing services in the Internet. It can be used to send any kind of messages, in addition to normal text messages. This includes multimedia messages like images, video, and audio stream. All messages in the SILC network are encrypted and authenticated, and messages can also be digitally signed. SILC protocol supports AES, SHA-1, PKCS#1, PKCS#3, X.509, OpenPGP, and is being developed in the IETF. The software is delivered as SILC Client for end users, SILC Server for system administrators, and SILC Toolkit for application developers.
HTML Forms generation and validation is a PHP class that generates HTML forms supporting many built-in validation types on server and client sides. It prevents security attacks by discarding spoofed values, has multiple submit protection, outputs HTML for fields displayed as fully accessible or in read-only mode, and has field value filtering and reformatting. It can be extended with custom control plug-ins. AJAX based form submission, upload monitor progress bar, auto-complete text input, automatic layout renderer, calendar date, CAPTCHA, Google Maps world location selection, linked select, and animation effects plug-ins are available.