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
libost-img-alg2.0
Open-Source Computational Structural Biology Framework
libost-img2.0
Open-Source Computational Structural Biology Framework