notus-scanner
vulnerable products detection (Python 3)
Notus Scanner detects vulnerable products in a system environment. The
scanning method is to evaluate internal system information. It does this very
fast and even detects currently inactive products because it does not need to
interact with each of the products.
libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.
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.
clang-format-14
Tool to format C/C++/Obj-C code
Clang-format is both a library and a stand-alone tool with the goal of
automatically reformatting C++ sources files according to configurable
style guides. To do so, clang-format uses Clang's Lexer to transform an
input file into a token stream and then changes all the whitespace around
those tokens. The goal is for clang-format to both serve both as a user
tool (ideally with powerful IDE integrations) and part of other
refactoring tools, e.g. to do a reformatting of all the lines changed
during a renaming.
libuev3
Lightweight event loop library for Linux
libuEv is a small event loop that wraps the Linux epoll() family of APIs.
It is similar to the more established libevent, libev and the venerable
Xt(3) event loop. The u (micro) in the name refers to both its limited
feature set and the small size impact of the library.
libcoq-reduction-effects
reduction effects for Coq
This plugin adds reduction side effects to some
of the Coq reduction strategies.