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