libwireshark17

network packet dissection library -- shared library

The libwireshark library provides the network packet dissection services developed by the Wireshark project.

libwsutil15

network packet dissection utilities library -- shared library

The libwsutil library provides utility functions for Wireshark and related binaries and shared libraries.

libocct-visualization-7.6

Open CASCADE Technology graphical data visualization 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.

progvis

Program visualization tool for C/C++ (and others)

A program visualization tool written in Storm. Supports a subset of C/C++, and other languages supported by the Storm language platform. Aimed at showing how concurrent programs interact with pointers/references and other fundamental programming concepts.

libginac13

GiNaC symbolic framework runtime library

GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a library for doing symbolic (i.e. non-numeric) computation directly in the C++ programming language.

coqprime-tools

Primality certification for Coq (tools)

Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality