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