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.
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.