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.