blackbox-terminal

BlackBox Terminal Emulator

GTK-4 based terminal with reasonably small footprint and the usual features. - Theming (Tilix-compatible color scheme support) - App theming based on terminal color scheme - Transparent background - Custom fonts and cell spacing - Tabs - Toggleable header bar - Click to open links - Files drag-n-drop support - Sixel (experimental) - Customizable UI - Customizable shortcuts This is unrelated to the Blackbox X Window Manager.

libsysprof-ui-4

UI library for system-wide Linux profiler

Sysprof is a sampling CPU profiler that uses a ptrace in Linux kernel to profile the entire system, not just a single application. Sysprof handles shared libraries and applications do not need to be recompiled. In fact they don't even have to be restarted.

ruby-prawn-templates

Prawn::Templates allows using PDFs as templates in Prawn

A extension to prawn that allows one to include other pdfs either as background to write upon or to combine several pdf documents into one.

libcoq-hott

Coq library for homotopy type theory

This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence.

r-cran-tokenizers

GNU R fast, consistent tokenization of natural language text

Convert natural language text into tokens. Includes tokenizers for shingled n-grams, skip n-grams, words, word stems, sentences, paragraphs, characters, shingled characters, lines, tweets, Penn Treebank, regular expressions, as well as functions for counting characters, words, and sentences, and a function for splitting longer texts into separate documents, each with the same number of words. The tokenizers have a consistent interface, and the package is built on the 'stringi' and 'Rcpp' packages for fast yet correct tokenization in 'UTF-8'.

postgresql-16-tds-fdw

PostgreSQL foreign data wrapper for TDS databases

tds_fdw is a PostgreSQL foreign data wrapper that can connect to databases that use the Tabular Data Stream (TDS) protocol, such as Sybase databases and Microsoft SQL Server.