GNOME database access library

Provide access to (SM)BIOS information

A collection of tools and libraries for many image formats

Developer documentation generated from the Linux kernel

quilt patch manager

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

C++ data analysis framework and interpreter from CERN

Perl tools for bioinformatics - Core modules

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

A GTK+ widget for interactive graph-like environments

A set of Asciidoctor extensions that enable you to add diagrams

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

Merge various gene prediction into one (unsupervised learning system)

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

FoBiS.py, a Fortran Building System for poor men

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.

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