isabelle
|
2023-1 |
25 |
0.00
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. |
bitwave
|
2023-09-18 11:16 (UTC) |
holo
|
3.0.1-1 |
6 |
0.00
|
Minimalistic configuration management |
majewsky
|
2022-12-30 18:39 (UTC) |
gtkdialog
|
0.8.3-2 |
11 |
0.00
|
A small utility for fast and easy GUI building |
orphan
|
2020-05-19 13:35 (UTC) |
gestures
|
0.3.1-1 |
7 |
0.00
|
Modern, minimal GUI app for libinput-gestures |
rew1red
|
2022-10-27 03:27 (UTC) |
fbpdf-poppler-git
|
r101.ba231d2-2 |
1 |
0.00
|
A small framebuffer pdf and djvu viewer (only poppler backend) |
xlucn
|
2022-05-14 03:27 (UTC) |
chibi-scheme
|
0.10.0-2 |
7 |
0.00
|
Minimal R7RS scheme implementation for use as an extension language |
aperez
|
2024-04-13 19:33 (UTC) |
agregore-browser-bin
|
2.5.1-1 |
1 |
0.00
|
A minimal web browser for the distributed web |
gardenappl
|
2024-05-02 11:34 (UTC) |
abcmidi
|
20240313-1 |
15 |
0.00
|
A set of tools for converting ABC files to MIDI files and vice versa, as well as other small utilities |
foxxy
|
2024-03-19 05:39 (UTC) |
zsh-theme-minimal-git
|
r64.2c89c47-1 |
0 |
0.00
|
A minimal and extensible Zsh theme |
alecmev
|
2020-05-05 19:31 (UTC) |
zsh-theme-minimal
|
1.0.4-2 |
0 |
0.00
|
A minimal and extensible Zsh theme |
alecmev
|
2020-05-05 17:42 (UTC) |
zps-git
|
2.0.0.r0.g76ffe80-1 |
0 |
0.00
|
A small utility for listing and reaping zombie processes (git) |
orhun
|
2024-01-19 21:29 (UTC) |
zps-bin
|
2.0.0-1 |
0 |
0.00
|
A small utility for listing and cleaning up zombie processes |
orhun
|
2024-01-19 21:34 (UTC) |
zobrollo
|
0.2.0-3 |
0 |
0.00
|
A 2d minimalistic top-view racing game |
Kznarsk
|
2021-02-25 07:24 (UTC) |
zipios-git
|
2.2.1.0-1 |
0 |
0.00
|
Small C++ library for reading and writing zip files, similar to java.util.zip and the standard iostreams library |
Singularity
|
2019-05-12 01:38 (UTC) |
zipios++
|
0.1.5.9+cvs.2007.04.28-10 |
0 |
0.00
|
Small C++ library for reading and writing zip files (old version) |
Singularity
|
2018-12-01 01:01 (UTC) |
zig-0.10-bin
|
0.10.1-1 |
0 |
0.00
|
a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software (v0.10.1) |
doclic
|
2023-10-13 10:44 (UTC) |
zathura-git
|
0.5.5.r1.gfb5388c-1 |
88 |
0.00
|
Minimalistic document viewer |
a821
|
2024-03-07 18:33 (UTC) |
zalc
|
1.2.5-3 |
7 |
0.00
|
A small, FLTK-based calculator |
bidulock
|
2020-03-26 08:27 (UTC) |
yuvviewer-git
|
0.5.3.r15.g4d26058-1 |
0 |
0.00
|
A small tool for developers to view and preview various original image formats. |
Hoream
|
2023-10-19 14:13 (UTC) |
yuvviewer-bin
|
0.5.8-2 |
0 |
0.00
|
A small tool for developers to view and preview various original image formats. It is based on Qt and opencv frameworks and supports windows/linux/macos. |
zxp19821005
|
2024-03-08 05:25 (UTC) |
ysnotifier
|
0.5.1-1 |
0 |
0.00
|
A minimal notification daemon for Gtk2. |
Creshal
|
2015-07-20 09:22 (UTC) |
yourik-qt5
|
5.392792f-1 |
1 |
0.00
|
Yourik The Intergalactic Rabbit is the animal rights-themed arcade game. |
dundee
|
2016-01-27 10:20 (UTC) |
yong
|
2.5.0-1 |
1 |
0.00
|
Tiny Small Chinese Input Method |
fireflyoo
|
2021-01-15 04:39 (UTC) |
yofi
|
0.2.2-1 |
3 |
0.00
|
Minimalistic menu for Wayland-based compositors. |
Nim65s
|
2024-03-18 20:01 (UTC) |
ynetd
|
2024.02.17-1 |
1 |
0.00
|
A small (< 400 lines of C) server for binding programs to TCP ports |
bobo1239
|
2024-02-29 17:25 (UTC) |
yeet
|
0.7.0-3 |
0 |
0.00
|
A minimalistic pacman wrapper written in bash |
gamemaker1
|
2024-04-23 11:17 (UTC) |
yara-git
|
3.4.0.1113.f502bdf-1 |
2 |
0.00
|
Tool aimed at helping malware researchers to identify and classify malware samples |
anthraxx
|
2016-08-06 12:09 (UTC) |
yandex-browser-corporate
|
24.1.3.843-2 |
0 |
0.00
|
The web browser from Yandex. Yandex Browser is a browser that combines a minimal design with sophisticated technology to make the web faster, safer, and easier. |
Stezko
|
2024-03-17 14:43 (UTC) |
xss
|
1.0-1 |
9 |
0.00
|
A collection of small programs to compose your own screensaver or screenlocker |
orphan
|
2022-05-14 19:38 (UTC) |
xsmon
|
0.3.r0.g7979a9b-1 |
0 |
0.00
|
Extra small system monitor for X11 |
mhdna
|
2023-04-03 13:19 (UTC) |
xruncounter-git
|
r17.6c85db6-1 |
1 |
0.00
|
Small tool to measure jack xruns under DSP load |
Gimmeapill
|
2021-01-03 14:08 (UTC) |
xpybar
|
1.20.2-1 |
2 |
0.00
|
A highly extensible minimalistic dock panel configured in Python 3 |
maandree
|
2023-07-21 16:29 (UTC) |
xplr-git
|
0.20.2.r21.g6595e2e-1 |
0 |
0.00
|
A hackable, minimal, fast TUI file explorer (git) |
orhun
|
2023-02-10 17:51 (UTC) |
xorg-fonts-web-otb
|
1.0.3-2 |
0 |
0.00
|
Xorg bitmap fonts - small sizes only, so that anti-aliased fonts can serve as fallback for larger sizes. Works best in web browsers and desktop environments / window managers that do not use large fonts (eg, in screen lockers) |
tallero
|
2023-02-20 19:51 (UTC) |
xmppcd-git
|
1.0-1 |
0 |
0.00
|
Small XMPP client daemon for use in embedded systems ( OpenWRT etc. ). |
DocMAX
|
2023-02-26 16:27 (UTC) |
xmobar-alsa-git
|
0.36.r12.gea1096f-1 |
0 |
0.00
|
Minimalistic Text Based Status Bar. Fork with alsa enabled. |
jtlab
|
2020-11-18 00:31 (UTC) |
xlsh-without-x
|
0.2.2-6 |
1 |
0.00
|
eXtended Login Shell - fast, minimalistic login replacement (without X support) |
jjacky
|
2016-11-16 19:11 (UTC) |
xkeycheck-git
|
1.0.r11.971c504-1 |
0 |
0.00
|
Small X utility for checking if a key is pressed |
randoragon
|
2021-04-16 13:40 (UTC) |
xjwt
|
1.0.3-1 |
0 |
0.00
|
Minimal C library for validation of real-world JWTs |
jirwin
|
2018-07-30 02:02 (UTC) |
xfwm4-theme-smallscreen-raleigh-compact-git
|
r16.20230725.8038dc8-1 |
0 |
0.00
|
An Xfwm4 theme using only the necessary screen space and trying to imitate the 'raleigh' colour theme. |
dreieck
|
2023-07-25 16:38 (UTC) |
xfdashboard-theme-minimal
|
20221124-1 |
0 |
0.00
|
Themes for xfdashboard by MaysunFalls |
AsA
|
2022-12-05 19:25 (UTC) |
xfce4-docklike-plugin-git
|
20200904-1 |
11 |
0.00
|
A modern, docklike, minimalist taskbar for XFCE |
nsz32
|
2020-09-03 23:15 (UTC) |
xeventbind-git
|
r4.a0b00ed-1 |
0 |
0.00
|
A small utillity that runs your executable/script when interesting X11 events are fired |
mws
|
2018-04-17 17:46 (UTC) |
xed-git
|
3.2.2.r0.gbb0b252-1 |
2 |
0.00
|
A small and lightweight text editor. X-Apps Project (git version). |
ion203
|
2023-10-03 22:07 (UTC) |
xdump
|
1.0.0-1 |
0 |
0.00
|
Display file contents in hexadecimal and ASCII |
xfgusta
|
2022-07-23 03:57 (UTC) |
xdo-git
|
0.5.7.r1.g688f10f-1 |
14 |
0.00
|
Small X utility to perform elementary actions on windows |
navigaid
|
2019-09-19 14:18 (UTC) |
xdm-minimalist
|
0.2-2 |
3 |
0.00
|
a minimalist xdm setup. |
bidulock
|
2018-11-17 08:35 (UTC) |
xdg-xmenu-git
|
1.0.0.beta.2.r0.g2e2834d-1 |
1 |
0.00
|
Minimal app menu with xmenu |
EnmanuelVT
|
2023-07-27 05:36 (UTC) |
xdarkterror.lv2-git
|
r13.864e7ef-1 |
1 |
0.00
|
An amp simulation LV2 plugin modelled after a small high-gain british valve amp (git version) |
SpotlightKid
|
2023-11-16 03:35 (UTC) |
xd
|
1.4-1 |
6 |
0.00
|
a utility for dumping files in hex, decimal, or octal |
eatmyvenom
|
2021-01-23 09:00 (UTC) |