fcitx5-table-translit-ua

Flexible Input Method Framework v5 - Ukrainian Translit table

Fcitx is a input method framework with extension support, which provides an interface for entering characters of different scripts in applications using a variety of mapping systems.

libcoq-bignums-ocaml

Coq library for big numbers (runtime)

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.

libcoq-bignums

Coq library for big numbers

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.

fcitx5-table-rustrad

Flexible Input Method Framework v5 - Rustrad table

Fcitx is a input method framework with extension support, which provides an interface for entering characters of different scripts in applications using a variety of mapping systems.

libwf-config1

Wayfire-specific library for managing config files

Wf-config is a library for managing configuration files, written for wayfire 3D wayland compositor.

ruby-sentry-sidekiq

provides Sidekiq integration for the Sentry error logger

A library that provides Sidekiq integration for the Sentry error logger. Sentry provides real-time crash reporting for web apps, mobile apps, and games.