libvdestack0
network namespace as a library
By libvdestack a program can use one (or even several) private networking
protocol stack(s), thus a program can be assigned its own IP address(es),
routing etc.
libn32gcc-s1-mips64r6-cross
GCC support library (mips64r6) (n32)
Shared version of the support library, a library of internal subroutines
that GCC uses to overcome shortcomings of particular machines, or
special needs for some languages.
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.