otf2bdf

generate BDF bitmap fonts from OpenType outline fonts

otf2bdf is a command line utility that uses the FreeType 2 font rendering library to generate BDF bitmap fonts from OpenType outline fonts at different sizes and resolutions.
resolution-style theorem prover

otter

resolution-style theorem prover

libruby3.1

Libraries necessary to run Ruby 3.1

Ruby is the interpreted scripting language for quick and easy object-oriented programming. It has many features to process text files and to do system management tasks (as in perl). It is simple, straight-forward, and extensible.

libghc-async-prof

run IO operations asynchronously and wait for their results; profiling libs

This package provides a higher-level interface over threads, in which an (Async a) is a concurrent thread that will eventually deliver a value of type a. The package provides ways to create Async computations, wait for their results, and cancel them.

libquazip1-qt6-1t64

Qt/C++ wrapper over minizip - Version 1 (Qt6)

QuaZip is the C++ wrapper for Gilles Vollant's ZIP/UNZIP package (AKA Minizip) using Trolltech's Qt library. This package contains version 1 of the library, compiled for use with Qt version 6.
Load level dialog

extremetuxracer-gimp-dev

plugins for GIMP for easy development of etracer courses