A collection of tools and libraries for many image formats

A set of Asciidoctor extensions that enable you to add diagrams

quilt patch manager

Parses source code, XML or data and produces an XML document in Dia format

A Qt and C++ GUI for rizin reverse engineering framework

GNOME database access library

A GTK+ widget for interactive graph-like environments

Perl tools for bioinformatics - Core modules

An efficient logic-model checker for the verification of multi-threaded code

C++ data analysis framework and interpreter from CERN

Developer documentation generated from the Linux kernel

Provide access to (SM)BIOS information

FoBiS.py, a Fortran Building System for poor men

edb is a cross platform x86/x86-64 debugger, inspired by Ollydbg

ELFI - Engine for Likelihood-Free Inference [top-max 0.8.7]

Tool for reading, formatting, and manipulating exploration graphs, which are graphs (or graph-sequences) that describe exploration of a game space, principally designed with Metroidvania games in mind.

Simulation tool for modelling laser interferometers [badver 3.0a20.post8]

Workflows used for morphology processing.

Merge various gene prediction into one (unsupervised learning system)

Modular event-centric python library made for simplification typical stream applications development with python type system strong exploitation.

Tools to work with luigi.

A python graph library implemented in Rust [top-max 0.17.1]

Data-modelling and processing framework for automating Python and SQL tasks

Tryton Server