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.
qml6-module-lomiri-components-extras
Lomiri UI Extra Components (Qt6)
A collection of UI components that for various reasons can't be included in
the main Lomiri UI toolkit - mostly because of the level of quality, lack of
documentation and/or lack of automated tests.
node-functional.js
Node.js module facilitating currying and tacit programming
This Node.js module is a functional JavaScript library. It facilitates
currying and point-free / tacit programming, with optional lambda expressions.
apostrophe
Distraction free Markdown editor
Apostrophe is a GTK based distraction free Markdown editor.
It uses pandoc as back-end for parsing Markdown and offers a very
clean and sleek user interface.
postgresql-15-pglogical
Logical Replication Extension for PostgreSQL
The pglogical extension provides logical streaming replication between
PostgreSQL instances, using a publish/subscribe model. Contrary to the
built-in streaming replication, pglogical can replicate between major versions
or different architectures and is not restricted to replicate the entire
instance but can selectively replicate arbitrary sets of tables.
libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.