libsop-java-picocli-java

Stateless OpenPGP Protocol API and CLI for Java - picocli wrapper

The Stateless OpenPGP Protocol specification defines a generic stateless CLI for dealing with OpenPGP messages. Its goal is to provide a minimal, yet powerful API for the most common OpenPGP related operations.

rime-data-ipa-yunlong

Rime Input Method Engine schema data - IPA Yunlong

RIME is the acronym of Rime Input Method Engine.

gfortran-14-multilib-mips-linux-gnu

GNU Fortran compiler (multilib support) (cross compiler for mips architecture)

This is the GNU Fortran compiler, which compiles Fortran on platforms supported by the gcc compiler.

gfortran-14-mipsisa64r6-linux-gnuabi64

GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture

This is the GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture, which compiles Fortran on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

python3-laszip

Python bindings for LASzip (Python 3 module)

This module provides LASzip bindings in Python, primarily intended for use with laspy. LASzip is a specialized compression for the ASPRS LAS file format to store data from LiDAR sensors much more efficiently.

libcoq-mathcomp-abel

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.