python3-auroranoaa

NOAA Aurora Wrapper for Home Assistant Integration

Provides a Python wrapper for accessing NOAA Aurora forecast data, specifically tailored for use with Home Assistant. This package allows retrieval of forecast data based on geographic coordinates, returning the percentage chance of observing an Aurora event. Useful for applications requiring localized aurora prediction data.

libocct-foundation-7.6

OCCT module underlying all other OCCT classes

Open CASCADE Technology is a suite for 3D surface and solid modeling, visualization, data exchange and rapid application development. It is an excellent platform for development of numerical simulation software including CAD/CAM/CAE, AEC and GIS, as well as PDM applications.

elan

tool for managing installations of the Lean theorem prover

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

libocct-modeling-algorithms-7.6

Open CASCADE Technology geometrical & topological algorithms module

Open CASCADE Technology is a suite for 3D surface and solid modeling, visualization, data exchange and rapid application development. It is an excellent platform for development of numerical simulation software including CAD/CAM/CAE, AEC and GIS, as well as PDM applications.

libgnuastro13

GNU Astronomy Utilities shared libraries

GNU Astronomy Utilities (Gnuastro) is a collection of programs (the `gnuastro' package) and librarires (this package along with `libgnuastro-dev') for astronomical data analysis and manipulation. The programs can be run on the command-line for efficient and easy usage and the libraries can be used within C and C++ programs.

libghc-hslua-module-doclayout-prof

Lua module wrapping Text.DocLayout; profiling libraries

Lua module wrapping the doclayout Haskell package.