Sollya is both a tool environment and a library for safe floating-point code development. It offers a convenient way to perform computations with multiple precision interval arithmetic. It is particularly targeted to the automated implementation of mathematical floating-point libraries.

This package provides the i386 system emulation binary to work together with the Xen hypervisor for some types of DomUs. This package is not useful by its own.

EGL provides a platform-agnostic mechanism for creating rendering surfaces for use with other graphics libraries, such as OpenGL|ES.

Sphinx extension for building self-hosted versioned documentation. Aims to provide a clean implementation that tries to avoid messing with Sphinx internals as much as possible.

This package contains a Python security tool designed to enumerate subdomains of websites using OSINT. It helps penetration testers and bug hunters collect and gather subdomains for the domain they are targeting over the network. Sublist3r enumerates subdomains using many search engines such as Google, Yahoo, Bing, Baidu, and Ask. Sublist3r also enumerates subdomains using Netcraft, Virustotal, ThreatCrowd, DNSdumpster, and ReverseDNS.

rstcheck validates the syntax of reStructuredText documents. Unlike other validators, it will also verify syntax correctness in nested code blocks for a variety of languages: