RSS 14903 projects tagged "Linux"

Download Website Updated 01 Dec 2004 AABrowse

Screenshot
Pop 19.08
Vit 2.29

AABrowse is a server browser for America's Army. It supports both the Gamespy and Andromeda master servers, buddy lists, favourites, and player search. It also optionally supports the GeoIP library, which allows a country flag to be displayed for each server.

Download No website Updated 20 Jan 2011 AAFID2

Screenshot
Pop 135.58
Vit 1.00

AAFID (Autonomous Agents for Intrusion Detection) is a distributed monitoring architecture with an orientation towards Intrusion Detection developed at the CERIAS at Purdue University. AAFID2 is a prototype implementation of the architecture that includes several ready-to-work agents, plus development facilities for writing your own.

Download Website Updated 30 Mar 2014 ABC Path Solver

Screenshot
Pop 44.37
Vit 16.37

ABC Path Solver is a Perl program and library that automatically solves an ABC Path game while giving the reasoning. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured in brainbashers.com. ABC Path Solver uses a mixture of deduction and solving by trying several branches, which should allow it to solve all initial boards.

Download Website Updated 12 Aug 2010 ACCORD

Screenshot
Pop 28.57
Vit 1.74

ACCORD is a C library for composition of SEM or scanning helium-ion microscope images with correction of drift. It is able to compose (average) large sets of extremely noisy images that were acquired by scanning charged-particle microscopes at the highest possible speeds (lowest pixel-dwell times). If the images are composed using traditional techniques, they usually become extensively blurry. The technique that is implemented in this software corrects these derogations by pre-shifting the composed frames.

Download Website Updated 01 Aug 2004 ACFTools

Screenshot
Pop 67.88
Vit 2.02

ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.94
Vit 4.97

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 169.35
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 112.01
Vit 3.61

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.97
Vit 53.53

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 48.79
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.

Screenshot

Project Spotlight

barvinok

A tool that counts the number of integer points in parametric polytopes.

Screenshot

Project Spotlight

GroupServer

A Web-based mailing list manager and collaboration server.