ikos
Static analyzer for C/C++
IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for
C/C++ based on the theory of Abstract Interpretation.
wesnoth-1.18-tsg
"The South Guard" official campaign for Wesnoth (branch 1.18)
This package contains the "The South Guard" campaign for Wesnoth:
"A young Knight, Deoran, is dispatched to take command of the South Guard...
Note: This campaign is designed as an introduction to Wesnoth. The 'Civilian'
difficulty level is aimed at first-time players."
(Novice level, 9 scenarios.)
php-algo26-idna-convert
pure PHP IDNA converter
A library for encoding and decoding internationalized domain names.
wesnoth-1.18-dw
"Dead Water" official campaign for Wesnoth (branch 1.18)
This package contains the "Dead Water" campaign for Wesnoth:
"You are Kai Krellis, son and heir of the last merman king but only a child. A
necromancer is turning your subjects into undead slaves! Lead your people on a
mission to convince a powerful mer-sorceress to help you repel the invasion.
The oceans near the Northern Lands are perilous, so you will need cunning and
bravery to survive. But first you need to gain the respect of your troops!"
(Intermediate level, 10 scenarios.)
sioyek
PDF viewer with a focus on technical books and research papers
Sioyek is a PDF viewer with a focus on textbooks and research papers. It is a
power user's PDF viewer, featuring smart open, table of contents generation,
and jumping to references and figures, even if not linked.
librte-mempool22
Data Plane Development Kit (librte-mempool runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.