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