RSS 1806 projects tagged "BSD Revised"

Download Website Updated 16 Jan 2004 Java Telnet Daemon

Screenshot
Pop 45.39
Vit 1.99

The Java Telnet Daemon is an embeddable telnet daemon written in Java.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 69.36
Vit 3.17

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).

Download Website Updated 25 Apr 2013 passwdqc

Screenshot
Pop 156.46
Vit 16.92

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.

Download Website Updated 21 Nov 2003 OggEnc

Screenshot
Pop 277.88
Vit 2.81

OggEnc is a flexible and fully featured command line encoder for the Ogg Vorbis format. It is the official command line encoder for Ogg Vorbis, a high quality audio codec from xiph.org

Download Website Updated 15 Jan 2006 AweMUD

Screenshot
Pop 206.22
Vit 7.17

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.

Download Website Updated 01 Oct 2009 MersenneTwister

Screenshot
Pop 38.16
Vit 5.22

MersenneTwister is a C++ class for generating 32-bit random numbers as integers or floating-point. Seeds can be obtained automatically from /dev/urandom or system time, and the generator state may be saved and restored. It includes an example program and performance tests.

Download Website Updated 22 Oct 2013 scanlogd

Screenshot
Pop 139.00
Vit 11.72

scanlogd is a system daemon which attempts to log all portscans of a host to the syslog, in a secure fashion.

Download Website Updated 27 Sep 2009 SILC

Screenshot
Pop 396.25
Vit 27.00

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.

No download Website Updated 27 Mar 2014 HTML Forms generation and validation

Screenshot
Pop 766.47
Vit 132.58

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.

Download Website Updated 08 Sep 2006 Beepage

Screenshot
Pop 37.82
Vit 1.91

Beepage is a Unix-based text paging package. Text pages sent by the client over TCP/IP are received by the provided server, which queues and transmits the data to any paging service providers that support the Telocator Alpha-numeric Protocol.

Screenshot

Project Spotlight

Groonga

An full text search engine and column store..

Screenshot

Project Spotlight

NetXMS

A network monitoring and management system.