Translations by Sergey Sedov

9base is a port of following original Plan 9 userland tools to Unix: awk, basename, bc, cat, cleanname, date, dc, echo, grep, mk, rc, sed, seq, sleep, sort, tee, test, touch, tr, uniq, and yacc.

The tools offer a level of security - 9mount will only let you mount over non-sticky directories you have write access to, and 9umount will only let you unmount 9p partitions that you mounted yourself.

9mount is a set of SUID mounting tools for use with v9fs to help cope with linux's poor mount support.

ABIcheck is a tool for checking an application's compliance with a library's defined Application Binary Interface (ABI). It relies on ABI definition information contained in the library. Example definitions are given for GNOME and glibc.

ABINIT is a package whose main program allows one to find the total energy, charge density and electronic structure of systems made of electrons and nuclei (molecules and periodic solids) within Density Functional Theory (DFT), using pseudopotentials and a planewave basis.

efficient, featureful word processor with collaboration -- common files

This package contains the common files that are used on all architectures without modification.

an interactive Python accessibility explorer for the GNOME desktop

It uses AT-SPI to inspect and control widgets, allowing you to check if an application is providing correct information to assistive technologies and automated test frameworks. Accerciser has a simple plugin framework which you can use to create custom views of accessibility information.

BASE is based on the code from the Analysis Console for Intrusion Databases (ACID) project. This application provides a web front-end to query and analyze the alerts coming from a SNORT IDS system.

A Computational Logic for Applicative Common Lisp: compiled libraries

A Computational Logic for Applicative Common Lisp: library certificates

This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.

A Computational Logic for Applicative Common Lisp: library sources

A Computational Logic for Applicative Common Lisp: documentation

A Computational Logic for Applicative Common Lisp: emacs interface

A Computational Logic for Applicative Common Lisp: infix interface

A Computational Logic for Applicative Common Lisp: infix source

A Computational Logic for Applicative Common Lisp: source files

Acovea is envisioned as an optimization tool, similar in purpose to profiling. Traditional function-level profiling identifies the algorithms most influential in a program's performance; Acovea is then applied to those algorithms to find the compiler flags and options that generate the fastest code. Acovea is also useful for testing combinations of flags for pessimistic interactions, and for examining the reliability of the compiler.

results captured by using acovea

The files contained in this package are results from some prior executions of ACOVEA (Analysis of Compiler Options via Evolutionary Algorithms). They are provided for documentation purposes only.

HTML generator for Ada 95 library unit specifications

AdaBrowse is a javadoc-like HTML generator for Ada 95 library unit specifications. It can also generate XML output; a DTD is included in the distribution.

An Ada rules controller

With AllTray you can dock any application with no native tray icon (like Evolution, Thunderbird, Terminals) into the system tray. A high-light feature is that a click on the "close" button will minimize back to system tray. It works well with Gnome, KDE, XFCE 4*, Fluxbox* and WindowMaker*. (*) No drag 'n drop support. Enable with "-nm" option.

use a bluetooth enabled mobile phone as desktop remote control

anti-virus utility for Unix - sendmail integration

anti-virus utility for Unix - test files

This package contains files 'infected' with a test signature. The test signature (ClamAV-Test-Signature) should be detectable by all anti-virus programs.

It provides real-time virus scanning capabilities for content access.