libmumps-ptscotch-5.5
Direct linear systems solver - PTScotch-version shared libraries
MUMPS implements a direct solver for large sparse linear systems, with a
particular focus on symmetric positive definite matrices. It can
operate on distributed matrices e.g. over a cluster. It has Fortran and
C interfaces, and can interface with ordering tools such as Scotch.
rime-data-bopomofo
Rime Input Method Engine schema data - Bopomofo (Zhuyin)
RIME is the acronym of Rime Input Method Engine.
libgnatprj9
support for programs processing GNAT projects (runtime)
GNAT projects are human-readable text files used to drive tools
building or inspecting lots of source files in several programming
languages, like those provided by the gprbuild package.
ruff
Fast linter for Python, written in Rust
Ruff is a linter for Python that includes implementations of many common
checks implemented by flake8, flake8 plugins, and pylint.
libcoq-elpi-ocaml
Coq plugin embedding Elpi (runtime)
This package makes it possible to define new commands and tactics
for Coq in Elpi.
libest-utils
Utils that make use of the EST protocol
Included from the libest examples/ directory, these tools are
fully featured implementations of EST server and client.