libjavascriptcoregtk-bin
JavaScript engine library from WebKitGTK - command-line interpreter
JavaScriptCore is the JavaScript engine used in WebKit. It consists
of the following building blocks: lexer, parser, start-up interpreter
(LLInt), baseline JIT, a low-latency optimizing JIT (DFG), and a
high-throughput optimizing JIT (FTL).
systemd-ukify
tool to build Unified Kernel Images
This package provides ukify, a script that combines a kernel image, an initrd,
with a command line, and possibly PCR measurements and other metadata, into a
Unified Kernel Image (UKI).
tcl-syslog
Tcl interface to the standard syslog service
Server applications need to generate activity log messages and for this
purpose the standard syslog facility is the natural choice. Tcl is
a scripting language which from its inception was designed with
a solid capability of handling asynchronous communications, a feature
that made a language of choice for the development of server side
applications.
meli
terminal mail client
meli is a terminal email client with support for multiple accounts,
for Maildir, mbox content storage,
for notmuch metadata storage,
and for IMAP, JMAP and NNTP (Usenet) protocols.
libpetsc-real3.20
Shared libraries for version 3.20 of PETSc
PETSc is the "Portable Extensible Toolkit for Scientific
Computation", a suite of data structures and routines for the
scalable (parallel) solution of scientific applications modeled by
partial differential equations. It employs the MPI standard for all
message-passing communication. Several sample scientific
applications, as well as various papers and talks, demonstrate the
features of the PETSc libraries.
python3-proton-vpn-killswitch
Proton Technologies VPN Kill Switch for Linux
The proton-vpn-killswitch module is an essential component that defines the
"kill switch" interface for the ProtonVPN VPN. The main function of a "kill
switch" in a VPN is to ensure that in the event of an unexpected disconnection
from the VPN, all network traffic is immediately stopped. This prevents
sensitive data from being transmitted without the protection of the VPN, thus
ensuring user privacy and security.