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.