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.