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.