psi-plus-sounds

sound files for Psi+

This package contains sound files for Psi+.

bergman

Gröbner bases in commutative and non-commutative algebras

Bergman is a powerful tool to calculate Gröbner bases in commutative and non-commutative algebras, and in modules over them. It may also be used to calculate some invariants of algebras and modules: the Hilbert series, and (in the non-commutative case) the Poincaré-Betti series, the Anick resolution, and the Betti numbers.
Virtual machine simulator based around the MIPS R2/3000 microprocessor

umps3

Virtual machine simulator based around the MIPS R2/3000 microprocessor

µMPS is an educational computer system architecture and an accompanying emulator designed from the ground up to achieve the right trade-off between simplicity and elegance on one side, and realism on the other. This makes µMPS ideally suited for use in education, such as hands-on operating systems or computer architecture university courses.

efibootguard

UEFI-based bootloader

The efibootguard is a bootloader that includes a simple update mechanism with fail-safe algorithm. It allows one to arm a hardware watchdog prior to loading an OS. This package provides the bootloader binary and the environment tools bg_printenv and bg_setenv.

python3-fastkml

fast KML processing (Python 3)

Fastkml is a library to read, write and manipulate KML files. It aims to keep it simple and fast (using lxml if available). Fast refers to the time you spend to write and read KML files as well as the time you spend to get acquainted to the library or to create KML objects.

ibus-gtk3

Intelligent Input Bus - GTK3 support

IBus is an Intelligent Input Bus. It is a new input framework for the Linux OS. It provides full featured and user friendly input method user interface. It also may help developers to develop input method easily.