The Debian Edu Artwork package set provides a collection of images, themes, wallpapers and splash screens for use with Debian Edu, a Debian Pure Blend.

JSON is everywhere on the Internet. Servers spend a *lot* of time parsing it. We need a fresh approach. The simdjson library uses commonly available SIMD instructions and microparallel algorithms to parse JSON 4x faster than RapidJSON and 25x faster than JSON for Modern C++.

Zydis is a fast x86/x86-64 disassembler library. It supports all x86 and AMD64 instructions and many vendor extensions, doesn't perform dynamic memory allocations, is thread safe by design and has no third party dependency - not even libc.

This is a logging facility. Yes, there are many, and this is the one with a beard, wearing flannel and boots, that gets the job done. It's not the fanciest, it doesn't have a cargo-van full of features. This logger is designed to be straightforward to use, provide a good set of standard features, and be useable across a broad set of code.

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.

Rust is a curly-brace, block-structured expression language. It visually resembles the C language family, but differs significantly in syntactic and semantic details. Its design is oriented toward concerns of "programming in the large", that is, of creating and maintaining boundaries - both abstract and operational - that preserve large-system integrity, availability and concurrency.