glyphspkg

Converter from .glyphspackage to .glyphs files

This package provides a utility to convert GlyphsApp package to monolithic files. It is commonly needed by some open-source font building tools, such as fontmake and fonttools.

python3-blurhash

Python implementation of the blurhash algorithm

BlurHash takes an image, and gives you a short string (only 20-30 characters) that represents the placeholder for this image. You do this on the backend of your service, and store the string along with the image. When you send data to your client, you send both the URL to the image, and the BlurHash string. Your client then takes the string, and decodes it into an image that it shows while the real image is loading over the network. The string is short enough that it comfortably fits into whatever data format you use. For instance, it can easily be added as a field in a JSON object.

cvc5

automated theorem prover for SMT problems

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.

gcc-14-for-build

GNU C compiler for the build architecture

This is the GNU C compiler, a fairly portable optimizing compiler for C.

gcc-14-hppa64-linux-gnu

GNU C compiler (cross compiler for hppa64)

This is the GNU C compiler, a fairly portable optimizing compiler for C.

gcc-14-locales

GCC, the GNU compiler collection (native language support files)

Native language support for GCC. Lets GCC speak your language, if translations are available.