fact++

description logic reasoner for the semantic web

FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. The tool is probably best known for its compatibility with the tool Protege that helps to formally represent semantics.

libclass-csv-perl

Class based CSV parser/writer

This module can be used to create objects from CSV files, or to create CSV files from objects. Text::CSV_XS is used for parsing and creating CSV file lines, so any limitations in Text::CSV_XS will of course be inherant in this module.

python3-pycparser

C parser in Python 3

pycparser is a complete parser of the C language, written in pure Python using the PLY parsing library. It parses C code into an AST and can serve as a front-end for C compilers or analysis tools.

libplayerjpeg3.0-dev

Networked server for robots and sensors - jpeg library development files

libdevel-backtrace-perl

Object-oriented backtrace

Devel::Backtrace provides methods for accessing backtrace information, i.e. it allows one to see the "route" through a script. It returns short or detailed information about backtrace points as strings.

linux-headers-lowlatency

lowlatency Linux kernel headers