1817 projects tagged "BSD Revised"

Download Website Updated 29 Sep 2007 HarnMaker

Screenshot
Pop 27.31
Vit 4.20

HarnMaker is a character generator for the HarnMaster role playing game. Users can roll, create, and edit characters. Please see www.columbiagames.com for more information on HarnMaster.

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

Screenshot
Pop 804.92
Vit 76.08

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 10 Apr 2005 Hu-Go!

Screenshot
Pop 80.22
Vit 5.46

Hu-Go! is a PC Engine Emulator for Linux/i386 under console and X11. It plays Hu cards and CDs (and various forms of dumps from them).

Download Website Updated 17 Jul 2012 IPA

Screenshot
Pop 138.28
Vit 17.25

IPA is a pluggable, flexible, general-purpose accounting system. It supports static and dynamic rules, limits, sublimits, and thresholds. It works with external accounting, database and statistics modules. Accounting is done per specified period of a week. Complete documentation is included.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 70.33
Vit 3.16

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 16 Jan 2004 Java Telnet Daemon

Screenshot
Pop 50.25
Vit 1.98

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

Download Website Updated 23 Feb 2012 JZlib

Screenshot
Pop 106.09
Vit 10.53

JZlib is a re-implementation of zlib in pure Java. The first and final aim for hacking this was to add packet compression support to pure Java SSH systems.

Download Website Updated 13 Jan 2009 Kannel WAP and SMS Gateway

Screenshot
Pop 236.98
Vit 8.45

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.

Download Website Updated 14 Feb 2007 LAM/MPI

Screenshot
Pop 157.44
Vit 7.13

LAM/MPI is an implementation of the Message Passing Interface (MPI) parallel standard that is especially friendly to clusters. It includes a persistent runtime environment for parallel programs, support for all of MPI-1, and a good chunk of MPI-2, such as all of the dynamic functions, one-way communication, C++ bindings, and MPI-IO.

Download Website Updated 10 Mar 2004 LeoArg

Screenshot
Pop 19.90
Vit 2.30

LeoArg is a simple C++ command line parser library.

Screenshot

Project Spotlight

qooxdoo

A universal JavaScript framework.

Screenshot

Project Spotlight

phpMyAdmin

A tool that handles the basic administration of MySQL over the Web.