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.

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-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.

patatt

utility for cryptographic attestation of patches sent via email

This utility allows an easy way to add end-to-end cryptographic attestation to patches sent via mail. It does so by adapting the DKIM email signature standard to include cryptographic signatures via the X-Developer-Signature email header.

gobjc++-13-x86-64-linux-gnu

GNU Objective-C++ compiler for the x86_64-linux-gnu architecture

This is the GNU Objective-C++ compiler for the x86_64-linux-gnu architecture, which compiles Objective-C++ on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libqgispython3.16.10

QGIS - shared Python library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.