21180 projects tagged "GPL"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 71.11
Vit 4.88

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Download Website Updated 21 Jan 2003 ACME

Screenshot
Pop 45.89
Vit 1.74

ACME is a small GNOME tool to make use of the multimedia buttons present on most laptops and Internet keyboards: Volume, Brightness, Power, Eject, My Home, Search, E-Mail, Sleep, Screensaver, Finance, WWW, Calculator, Record, Close Window, Shade Window, Play, Stop, Pause, Previous, Next, Groups, Media, Refresh, and Help buttons. It works on all the platforms GNOME supports (laptops and PCs). It uses either OSS or ALSA for Volume control.

No download Website Updated 08 Apr 2004 ACP modem (Mwave) driver

Screenshot
Pop 167.14
Vit 3.81

This is a set of Linux drivers for the ACP modem (Mwave), a WinModem. It is composed of a loadable kernel module and a user level application. Together these components support direct attachment to public switched telephone networks (PSTNs) and support selected world wide countries. This driver provides support for the IBM ThinkPad 600E. The modem also supports the standard communications port interface (ttySx) and is compatible with the Hayes AT Command Set.

Download Website Updated 30 Jun 2007 ACPI Event Daemon

Screenshot
Pop 111.83
Vit 3.59

ACPID is a completely flexible and expandable mechanism for delivering ACPI events from the kernel to user-space. It can be configured to perform any action at all when events occur, through regex matches and arbitrary action rules.

Download No website Updated 13 Jun 2006 ACPI Module Tester

Screenshot
Pop 14.49
Vit 54.10

The ACPI Module Tester is a small tool that can perform tests on the ACPI Extras Driver. All tests are done automatically. You only have to answer some short questions. It is a very easy way to report bugs and help the developers to add new hardware support.

Download Website Updated 26 Nov 2002 ACPI Temperature Monitor

Screenshot
Pop 46.69
Vit 2.04

ACPI Temperature Monitor is a Windowmaker dockapp that monitors the temperature and Speedstep features in new ACPI-based systems. It supports batteries, automatic shutdown when the power is low, and multiple screens.

No download Website Updated 08 Apr 2010 ACR

Screenshot
Pop 14.46
Vit 1.08

ACR is a Web CMS library that can be embedded inside any Turbogears 2 application to add CMS functions. It provides all the fundamental tools to allow an individual or a community to easily publish and manage a Web site with different content types, from Twitter streams to video galleries. It also provides an easy-to-use set of APIs to create new content types by defining your Views. ACR also comes with ACR_cms, a CMS implemented by using libACR.

Download Website Updated 24 May 2005 ACal Project

Screenshot
Pop 65.05
Vit 3.51

The ACal Project is a Web-based event calendar made for everyone. It was designed to be simple to install and setup. It does not require a database server, and installing is as easy as drag and drop.

Download Website Updated 11 Jun 2001 ACalc scientific calculator for PalmOS

Screenshot
Pop 22.54
Vit 68.95

ACalc is a scientific calculator for PalmOS 3.5 using double-precision arithmetic with 15-digit display. The objective is to produce a calculator that is simple and easy to use, but reasonably complete for scientific use. It has built-in functions and constants.

Download Website Updated 24 Jul 2009 AChecker

Screenshot
Pop 24.21
Vit 42.29

AChecker is a Web accessibility evaluation tool. It can be used to review the accessibility of Web pages based on a variety of international accessibility guidelines, including WCAG, Section 508, Stanca, and BITV.

Screenshot

Project Spotlight

jclasslib bytecode viewer

A Java bytecode viewer and class modification library.

Screenshot

Project Spotlight

rcs-fast-import

A tool that unpacks fast-import streams to produce an RCS repository.