16386 projects tagged "Linux"

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.

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.

Download Website Updated 15 Aug 2006 ACPI wakeup tool

Screenshot
Pop 40.40
Vit 1.00

The ACPI wakeup tool is a small command line application that allows your Linux computer to wake up from soft-off (S5) at a predetermined time. It is ideal for situations where you want to have a server turn off at night but power itself on in the morning automatically.

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 23 Aug 2005 ADF MAGE-ML Tool

Screenshot
Pop 12.85
Vit 1.42

The aim of ADF MAGE-ML Tool is to provide a module for converting ADF files (a tab delimited file representing microarray design layout) into MAGE-ML format, and for generating an ADF from an array design described in MAGE-ML format. The module is build upon the ADF specifications and using MAGE-Stk APIs (Java). MIAME-compliance checking, a logging system, and integration of LifeScience Identifier (LSID) specifications are key components of the module. The module can be used via the command line or a graphical user interface.

No download Website Updated 09 May 2003 ADIC

Screenshot
Pop 30.79
Vit 1.79

ADIC (any door is closed) is a cooperative multiplayer networked game. The goal is to lock all players of the other teams. The rules are simple, the style is 80s, and it is fun to play.

No download Website Updated 26 Feb 2004 ADIOS boot CD

Screenshot
Pop 76.68
Vit 2.09

ADIOS boot CD is a Linux live CD based on Red Hat Linux and a 2.6 kernel, with additional support for squashfs, unionfs, and SELinux. The CD can run from RAM, USB memory stick, or use FAT/EXT files for /var, or copy/install the CD to FAT/EXT files. The user can choose from KDE or IceWM. The user can start User Mode Linux (UML) virtual machines, each of which can start X. Each of the virtual machines can be networked via virtual ethernet switches and hubs. ADIOS requires at least 128MB RAM to run X11.

Screenshot

Project Spotlight

Dowse

A commandline tool for managing your local area network.

Screenshot

Project Spotlight

grep

GNU grep, egrep and fgrep.