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.