GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

This package provides a library which may be used to explain Unix and Linux system call errors. The library is not quite a drop-in replacement for strerror, but it comes close, with each system call having a dedicated libexplain function.

DigiDoc is an XML file format for documents with digital signatures in use by the Estonian ID card infrastructure. This library allows for creation and reading of DigiDoc files.

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

This Ruby library contains error classes raised by Google Cloud API clients. google-cloud-errors defines error classes for google-cloud-ruby.