Scanmem is a debugging utility designed to isolate the address of an arbitrary variable in an executing process. Scanmem simply needs to be told the pid of the process and the value of the variable at several different times. After several scans of the process, scanmem isolates the position of the variable and allows you to modify its value.

This package includes two Python modules:

1. fiu is a wrapper for libfiu, the fault injection C library.

2. fiu_ctrl provide an easy way run a command with libfiu enabled, and controlling the failure points dynamically.

Backward-cpp is a stack trace pretty printer for C++. It can print annotated stack traces using debug info in the executable.

QEMU is a generic machine emulator and virtualizer. This package of QEMU is used only by the american fuzzy lop package.

When used as a machine emulator, QEMU can run OSes and programs made for one machine (e.g. an ARM board) on a different machine---e.g., your own PC. By using dynamic translation, it achieves very good performance.

When used as a virtualizer, QEMU achieves near native performances by executing the guest code directly on the host CPU. QEMU supports virtualization when executing under the Xen hypervisor or using the KVM kernel module in Linux. When using KVM, QEMU can virtualize x86, server and embedded PowerPC, and S390 guests.

cgdb is a lightweight curses (terminal-based) interface to the GNU Debugger (GDB). In addition to the standard gdb console, cgdb provides a split screen view that displays the source code as it executes. The keyboard interface is modeled after vim, so vim users should feel at home using cgdb.

Stress Make is a customized GNU Make that explicitly manages the order in which concurrent jobs are run to provoke erroneous behavior into becoming manifest. It can run jobs in the order in which they're launched, in backwards order, or in random order. The thought is that if code builds correctly with Stress Make, then it is likely that the Makefile contains no race conditions.

Remake is an enhanced version of GNU Make that adds improved error reporting, better tracing, profiling, and a debugger.

Decker is a multimedia platform for creating and sharing interactive documents, with sound, images, hypertext, and scripted behavior.

DejaGnu is a framework for testing software. In effect, it serves as a front-end for all tests written for a program. Thus, each program can have multiple test suites, which are then all managed by a single harness.

SCMackerel is a library in GNU Guile to create abstract syntax trees (ASTs). Initially written for mCRL2 and now also supporting other languages, such as C, C++, and C#. Based on GNU Guix records.

Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems. The Dezyne language has formal semantics expressed in mCRL2.

Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator.

Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.

This package provides SKK-JISYO.L, the standard dictionary file for SKK Japanese input systems, and various dictionary files. SKK-JISYO.L can be used with emacs-ddskk or uim package.

The libmaa library provides many low-level data structures which are helpful for writing compilers, including hash tables, sets, lists, debugging support, and memory management. Although libmaa was designed and implemented as a foundation for the Khepara transformation system, the data structures are generally applicable to a wide range of programming problems.

The memory management routines are especially helpful for improving the performance of memory-intensive applications.

sdcv is simple text-based utility for work with dictionaries in StarDict's format.

CMUdict (the Carnegie Mellon Pronouncing Dictionary) is a free pronouncing dictionary of English, suitable for uses in speech technology and is maintained by the Speech Group in the School of Computer Science at Carnegie Mellon University.

Translate Shell (formerly Google Translate CLI) is a command-line translator powered by Google Translate (default), Bing Translator, Yandex.Translate and Apertium. It gives you easy access to one of these translation engines from your terminal.

V.E.R.A. (Virtual Entity of Relevant Acronyms) is a list of computing acronyms distributed as an info document.

FreeDict is a project that offers over 140 free dictionaries in about 45 languages, with the right to study, change and modify them. You can use them offline on your computer or mobile phone and export them to any format and application.

GCIDE is a free dictionary based on a combination of sources. It can be used via the GNU Dico program or accessed online at http://gcide.gnu.org.ua/

Ding is a dictionary lookup program for the X window system. It comes with a German-English dictionary with approximately 270,000 entries.

GNU Dico implements a flexible dictionary server and client according to RFC 2229 (DICT Server). It is able to access any database available, regardless of format, thanks to its modular structure. New modules may be written in C, Guile or Python. Dico also includes a command-line client, which may be used to query remote dictionary databases.

This package provides a versioned python wrapper package for The CMU Pronouncing Dictionary data files.

The DICT Interchange Format (DICF) is a human-readable format for the interchange of dictionary databases for the use with DICT protocol client/server software.

This package provides a client dict and a server program dictd for the DICT protocol, as well as a utility dictfmt to convert various dictionary formats into dictionaries that can be served by dictd or Dico.