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.

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.

Ignition Physics is a component in the ignition framework, a set of libraries designed to rapidly develop robot applications.

rocm-cmake provides CMake modules for common build and development tasks within the ROCm project, such as setting version numbers, configuring CPack properties, and running static analysis tools. rocm-cmake is not typically required for building libraries or programs that use ROCm.

Please see the README on GitHub at <https://github.com/parsonsmatt/hspec-hedgehog#readme>

Using this package, users can launch the classic Jupyter Notebook on top of the new Python server backend.