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.

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.

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

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

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.

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.

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 program, website, audio files. Among ather 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/.

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.

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/

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

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.

Apertium is a rule based machine translation system featuring a shallow-transfer machine translation engine. The design of the system makes translations fast (translating tens of thousands of words per second on ordinary desktop computers) and, in spite of the errors, reasonably intelligible and easily correctable.

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.

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.

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

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.

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.

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.

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.

In order to limit store size and build complexity, only the build targets that build dictionaries in dictd format are retained when this Guix package is installed.

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.

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

Diffoscope tries to get to the bottom of what makes files or directories different. It recursively unpacks archives of many kinds and transforms various binary formats into more human readable forms to compare them. It can compare two tarballs, ISO images, or PDFs just as easily.

Diffoscope has many optional dependencies; diffoscope --list-missing-tools guix will display optional packages to install.

Reprotest builds the same source code twice in different environments, and then checks the binaries produced by each build for differences. If any are found, then diffoscope or diff is used to display them in detail for later analysis.