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.

berkeley-abc

ABC - A System for Sequential Synthesis and Verification

This is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification.

libocct-modeling-data-7.6

Open CASCADE Technology 2D/3D geometric primitives data structures

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.

libost-base2.0

Open-Source Computational Structural Biology Framework

libost-bindings2.0

Open-Source Computational Structural Biology Framework