OStatic

Soluci?n de gesti?n empresarial global de ERP y CRM, B2B y B2C, con soporte del estandard EDI y con informes OLAP. Fuertemente orientado hacia el merc...

Open source VISA complient (Virtual Instrument Software Architecture) library written in C for Linux/Unix operating systems to control instruments thr...

Collection of libraries to help automation application developement. ntddata provides a common data management layer (require glib-2.10). ntdwidgets i...

Our aim is to develop a library for geometrical tolerance analysis, that is OS and CAD platform indenpendent. Toleraning is widely used in engineering...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...