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.