21126 projects tagged "GPL"
Updated 11 Apr 2011
ACL2
| Pop | 87.91 |
|---|---|
| Vit | 5.65 |
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.
Updated 21 Jan 2003
ACME
| Pop | 59.62 |
|---|---|
| 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.
Updated 08 Apr 2004
ACP modem (Mwave) driver
| Pop | 151.05 |
|---|---|
| Vit | 3.86 |
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.
Updated 30 Jun 2007
ACPI Event Daemon
| Pop | 131.07 |
|---|---|
| Vit | 3.74 |
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.
Updated 13 Jun 2006
ACPI Module Tester
| Pop | 19.24 |
|---|---|
| Vit | 50.32 |
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.
Updated 26 Nov 2002
ACPI Temperature Monitor
| Pop | 58.57 |
|---|---|
| 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.
Updated 08 Apr 2010
ACR
| Pop | 18.28 |
|---|---|
| Vit | 1.11 |
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.
Updated 24 May 2005
ACal Project
| Pop | 82.93 |
|---|---|
| Vit | 3.54 |
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.
Updated 11 Jun 2001
ACalc scientific calculator for PalmOS
| Pop | 26.23 |
|---|---|
| Vit | 66.03 |
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.
Updated 24 Jul 2009
AChecker
| Pop | 27.17 |
|---|---|
| Vit | 37.34 |
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.
