Delve is a debugger for the Go programming language.

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.

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.

This package provides a frontend to GDB, the GNU debugger.

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

rr is a lightweight tool for recording, replaying and debugging execution of applications (trees of processes and threads). Debugging extends GDB with very efficient reverse-execution, which in combination with standard GDB/x86 features like hardware data watchpoints, makes debugging much more fun.

Delta assists you in minimizing "interesting" files subject to a test of their interestingness. A common such situation is when attempting to isolate a small failure-inducing substring of a large input that causes your program to exhibit a bug.

AFLplusplus is a security-oriented fuzzer that employs a novel type of compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor- or resource-intensive testing regimes down the road. It is a fork of American Fuzzy Lop fuzzer and features:

• A more recent qemu version.

• More algorithms like collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, etc.

GNU DDD, the Data Display Debugger, is a graphical front-end for command-line debuggers. Many back-end debuggers are supported, notably the GNU debugger, GDB. In addition to usual debugging features such as viewing the source files, DDD has additional graphical, interactive features to aid in debugging.

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.

Dpic is an implementation of the pic "little language" for creating line drawings and illustrations for documents, web pages, and other uses.

Pikchr (pronounced picture) is a PIC-like markup language for diagrams in technical documentation. Pikchr is designed to be embedded in fenced code blocks of Markdown or similar mechanisms of other documentation markup languages.

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.

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

Grammalecte is a grammar checker for the French language, derived from Lightproof.

Grammalecte helps writing a proper French, without distracting users with false positives. This grammar checker follows the principle: the less false positives, the better; if it cannot know with a good chance that a dubious expression is wrong, it keeps silent.

The package provides the command line interface, along with a server and a Python library.

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.

A package providing two classic Unix commands, style and diction. Diction is used to identify wordy and commonly misused phrases in a body of text. Style instead analyzes surface aspects of a written work, such as sentence length and other readability measures.

GoldenDict-ng is an advanced dictionary lookup program that supports many dictionary formats, such as MDX, DSL, StarDict, Zim, etc., as well as special types of "dictionaries", such as external programs, websites and audio files. Among other features are full text search, Anki integration, transliteration for some languages, word stemming and spelling correction via Hunspell's morphology analysis, unicode case, diacritics, punctuation and whitespace folding. It is forked from the original GoldenDict which was developed at http://goldendict.org/.

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

Lttoolbox is a toolbox for lexical processing, morphological analysis and generation of words. Analysis is the process of splitting a word (e.g. cats) into its lemma "cat" and the grammatical information <n><pl>. Generation is the opposite process.