69 projects tagged "BSD Revised"
Updated 08 Sep 2006
Beepage
| Pop | 37.12 |
|---|---|
| Vit | 1.97 |
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.
Updated 21 Mar 2006
Isabelle
| Pop | 78.66 |
|---|---|
| Vit | 3.25 |
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).
Updated 23 Oct 2011
mrouted
| Pop | 164.29 |
|---|---|
| Vit | 7.77 |
mrouted is an implementation of the DVMRP multicast routing protocol. It turns a UNIX workstation into a DVMRP multicast router with tunnel support, in order to cross non-multicast-aware routers.
Updated 04 Sep 2010
OpenCA
| Pop | 305.63 |
|---|---|
| Vit | 6.76 |
The OpenCA Project is a collaborative effort to develop a robust, full-featured and Open Source out-of-the-box Certification Authority implementing the most used protocols with full-strength cryptography world-wide. OpenCA is based on many Open-Source Projects. Among the supported software is OpenLDAP, OpenSSL, Apache Project, Apache mod_ssl.
Updated 25 Apr 2013
passwdqc
| Pop | 280.30 |
|---|---|
| Vit | 57.93 |
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.
Updated 23 May 2006
popa3d
| Pop | 184.26 |
|---|---|
| Vit | 5.94 |
popa3d is a POP3 daemon which attempts to be extremely secure, reliable, RFC compliant, and fast (in that order).
Updated 14 Jul 2004
ZMailer
| Pop | 76.45 |
|---|---|
| Vit | 4.14 |
ZMailer is an internet message transfer agent. It is intended for gateways or mail servers or other large site environments that have extreme demands on the abilities of the mailer. It was motivated by the problems of the Sendmail design in such situations. It is intended and designed as a multi-protocol mailer. The only protocol supported in this distribution is RFC822 (and variations).
Updated 16 Aug 2009
OpenWebMail
| Pop | 1,058.86 |
|---|---|
| Vit | 8.92 |
OpenWebMail is a full-featured Webmail, address book, calendar, and Webdisk system that is designed to manage very large mail folder files in a quick and memory efficient way.
Updated 17 Mar 2005
Onyx
| Pop | 109.50 |
|---|---|
| Vit | 6.02 |
Onyx is a powerful stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript and Forth. It can be embedded as an extension language into other applications, and was designed to have a small memory footprint. It is among the smallest embeddable interpreters available.
Updated 22 Dec 2004
nefu
| Pop | 122.20 |
|---|---|
| Vit | 4.39 |
nefu (network fidelity utility) is a Unix daemon that monitors services over the network. It uses a "no false alarms" fault verification algorithm, and understands network dependancies. Natively-monitored protocols include ICMP echo (ping), SSH, IPP, DNS, HTTP, POP, NTP, IMAP, SMTP, and LDAP, as well as having facilities to execute external programs. Status pages are available via finger or the Web.
