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