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.

libace-xtreactor-7.0.8

ACE-GUI reactor integration for Xt

Recognizing the need to write reactor-based GUI applications, the ACE community has created several reactor extensions for use with X Window System. Each of these extends the ACE_Select_Reactor to work with a specific toolkit. By using these reactors, your GUI application can remain single threaded yet still respond to both GUI events, such as button presses, and your own application events.

r-cran-rcppspdlog

GNU R package with 'spdlog' logging support

The package provides the 'spdlog' library for C+++ logging for use from an R package.

zarchive-tools

tool for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.

libdrogon1

C++14/17-based HTTP application framework

Drogon can be used to easily build various types of web application server programs using C++.

libace-xml-utils-7.0.8

ACE XML utility classes and methods

This package provides useful classes and methods for XML parsing with Xerces, including simplified strings, schema resolution, validation and more.