debian-edu-doc-de

German documentation from the Debian Edu project

The German version of the manuals for the Bookworm and Bullseye based releases of the Debian Edu / Skolelinux project is included in this package.
Extensive, fast, and accurate command-line image dithering tool

didder

Extensive, fast, and accurate command-line image dithering tool

didder is an extensive, fast, and accurate command-line image dithering tool. It is designed to work well for both power users as well as pipeline scripting. It is backed by the author's dithering library (https://github.com/makew0rld/dither), and is unique in its correctness and variety of dithering algorithms. It provides many options, while being correct (linearizing the image, weighting channels by luminance).

libcvc5parser1

automated theorem prover for SMT problems (parser runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.

libghc-gtk-prof

Binding to the Gtk+ graphical user interface library; profiling libraries

This is the core library of the Gtk2Hs suite of libraries for Haskell based on Gtk+. Gtk+ is an extensive and mature multi-platform toolkit for creating graphical user interfaces.

sandboxgamemaker

3D game maker and 3D game design program

Platinum Arts Sandbox is an open source, easy-to-use, standalone 3D game maker and 3D game design program. It is currently based on the Cube 2 engine used in schools around the world that allows kids and adults to create their own video games, worlds, levels, adventures, and quests, even cooperatively. The goal is to make it accessible to kids but also powerful enough for full game projects.

series60-remote

S60 mobile phone management application

Series60-Remote is an application to manage your mobile phone. You can send and receive SMS messages directly on your computer. It also provides a complex contact and file management.