glab
commandline interface for gitlab instances
GLab is an open source GitLab CLI tool bringing GitLab to your terminal next
to where you are already working with git and your code without switching
between windows and browser tabs. Work with issues, merge requests, watch
running pipelines directly from your CLI among other features.
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.
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
storm-lang-graphics
Graphics library for Storm
Provides the ability to load various image types to Storm programs.