gcc-11-mipsisa32r6-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
This package contains files common to all languages and libraries
contained in the GNU Compiler Collection (GCC).
gnome-kiosk
mutter based compositor for kiosks
GNOME Kiosk provides a desktop environment suitable for fixed purpose, or
single application deployments like wall displays and point-of-sale systems.
any2fasta-examples
convert various sequence formats to FASTA (example data)
Established tools like readseq and seqret from EMBOSS, both create mangled
IDs containing | or . characters, and there is no way to fix this behaviour.
This resultes in inconsitences between .gbk and .fna versions of files in
pipelines.
libcoq-reglang
representation of regular languages in Coq
This package provides definitions and verified translations
between different representations of regular languages
for Coq: miscellaneous automata, regular expressions,
WS1S logic. It also contains various decidability results
and closure properties of regular languages.
pass-extension-update
pass extension providing an easy flow for updating passwords
Extends the pass utility with an update command providing an easy flow for
updating passwords. It supports path, directory and wildcard update.
Moreover, you can select how to update your passwords by automatically
generating new passwords or manually setting your own.
node-codemirror-lang-python
Python language support for the CodeMirror code editor
CodeMirror is a code editor component for the web. It can be used in
websites to implement a text input field with support for many editing
features, and has a rich programming interface to allow further extension.