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