termchat
|
1.3.1-1 |
1 |
0.90
|
Terminal chat through the LAN |
orhun
|
2021-12-15 22:39 (UTC) |
isabelle
|
2023-1 |
26 |
0.90
|
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) |
isabelle-linter
|
2023-1.0 |
1 |
0.90
|
A linter component for Isabelle |
David-Wang
|
2024-05-06 14:49 (UTC) |
vim-vimwiki
|
2023.04.04_1-1 |
43 |
0.90
|
A personal wiki for Vim |
rcmartin
|
2023-04-18 13:20 (UTC) |
streamrip
|
2.0.5-1 |
3 |
0.90
|
A scriptable stream downloader for Qobuz, Tidal, Deezer and SoundCloud. |
exu
|
2024-02-04 11:20 (UTC) |
betterdiscordctl
|
2.0.1-1 |
15 |
0.90
|
A utility for managing BetterDiscord on Linux |
brenekh
|
2021-11-07 21:17 (UTC) |
gyroflow-bin
|
1.5.4-1 |
5 |
0.90
|
Video stabilization using gyroscope data |
BoringCode
|
2023-12-16 01:47 (UTC) |
bauh
|
0.10.7-1 |
22 |
0.90
|
Graphical interface for managing your applications (AppImage, Flatpak, Snap, Arch/AUR, Web) |
vfm90
|
2024-01-10 20:27 (UTC) |
jdk17-temurin
|
17.0.11.u9-1 |
20 |
0.90
|
Temurin 17 (OpenJDK 17 Java binaries by Adoptium, formerly AdoptOpenJDK) |
Bevan
|
2024-04-18 22:42 (UTC) |
floorp
|
11.12.2-2 |
14 |
0.90
|
Firefox-based web browser focused on performance and customizability |
nsk1010
|
2024-05-04 02:12 (UTC) |
systemd-swap
|
4.4.0-2 |
2 |
0.90
|
Script for creating hybrid swap space from zram swaps, swap files and swap partitions. |
yurikoles
|
2023-09-04 09:58 (UTC) |
thunderbird-bin
|
115.10.2-1 |
28 |
0.90
|
Standalone Mail/News reader - binary version |
bittin
|
2024-05-06 05:01 (UTC) |
vale
|
3.4.2-1 |
11 |
0.90
|
A customizable, syntax-aware linter for prose |
rafaelff
|
2024-05-02 18:35 (UTC) |
nemo-compare
|
6.0.1-1 |
26 |
0.89
|
Context menu comparison extension for Nemo file manager |
twa022
|
2023-12-16 13:38 (UTC) |
inlyne
|
0.4.2-1 |
2 |
0.89
|
A GPU powered yet browserless tool to help you quickly view markdown files in the blink of an eye |
CosmicHorror
|
2024-04-06 17:40 (UTC) |
python-flake8-quotes
|
3.3.2-3 |
4 |
0.89
|
Flake8 lint for quotes |
dmitmel
|
2024-04-08 12:52 (UTC) |
python-cadquery
|
2.4.0-2 |
7 |
0.89
|
A parametric CAD scripting framework based on PythonOCC |
greyltc
|
2024-03-27 19:25 (UTC) |
i8kutils
|
1.43-3 |
44 |
0.89
|
Fan control for Dell laptops |
vitorafsr
|
2017-06-16 01:33 (UTC) |
playonlinux4-git
|
1:4.4.r42.g8740f6b8-1 |
4 |
0.89
|
GUI for managing Windows programs under linux |
orphan
|
2023-09-23 07:39 (UTC) |
dell-bios-fan-control-git
|
r5.2700610-5 |
12 |
0.89
|
A user space utility to set control of fans by bios on some Dell XPS Laptops. |
gilbs
|
2023-10-05 08:26 (UTC) |
pnpm-shell-completion
|
0.5.3-1 |
2 |
0.89
|
Complete your pnpm command fastly. |
gplane
|
2024-02-21 04:08 (UTC) |
onekey-wallet-bin
|
4.23.0-1 |
2 |
0.89
|
Secure, open source and community driven crypto wallet runs on all platforms and trusted by millions. |
zxp19821005
|
2024-03-28 06:01 (UTC) |
shufflecake
|
v0.4.4-1 |
2 |
0.89
|
Plausible deniability layer for Linux (Userland & DKMS) |
necklace
|
2024-02-12 07:28 (UTC) |
flyway
|
10.1.0-1 |
7 |
0.89
|
Database migration utility written Java, supporting a wide range of databases |
shyamin
|
2023-11-23 12:32 (UTC) |
python-pulsectl-asyncio
|
1.2.0-1 |
2 |
0.89
|
Asyncio frontend for pulsectl, a Python bindings library for PulseAudio (libpulse) |
Lili1228
|
2024-04-28 08:12 (UTC) |
rustotpony-bin
|
0.4.5-2 |
2 |
0.89
|
RusTOTPony — CLI manager of one-time password generators like Google Authenticator |
Zebradil
|
2024-02-27 00:22 (UTC) |
pipes.sh
|
1.3.0-1 |
34 |
0.89
|
Animated pipes terminal screensaver |
StefansMez
|
2018-06-24 13:17 (UTC) |
cryptomator-bin
|
1.12.3-1 |
28 |
0.89
|
Multiplatform transparent client-side encryption of your files in the cloud. |
ajgraves
|
2024-02-27 15:33 (UTC) |
jdk21-temurin
|
21.0.3.u9-1 |
2 |
0.89
|
Temurin 21 (OpenJDK 21 Java binaries by Adoptium, formerly AdoptOpenJDK) |
Bevan
|
2024-04-18 22:40 (UTC) |
quickgui-bin
|
1.2.8-1 |
13 |
0.89
|
A Flutter frontend for quickget and quickemu |
sgnh
|
2022-11-21 21:13 (UTC) |
customtkinter
|
5.2.1-1 |
4 |
0.88
|
A modern and customizable python UI-library based on Tkinter. |
tallero
|
2023-12-22 16:35 (UTC) |
polkit-qt6-git
|
v0.200.0.r0.gaa1c6c4-1 |
2 |
0.88
|
A library that allows developers to access PolicyKit API with a nice Qt-style API |
DawfukFR
|
2024-04-14 19:33 (UTC) |
josm-latest
|
19082-1 |
4 |
0.88
|
Nightly builds of JOSM, the editor for OpenStreetMap written in Java |
hauke96
|
2024-05-15 04:00 (UTC) |
python2-pysocks
|
1.7.1.r7.gf4c3cd9-1 |
2 |
0.88
|
SOCKS4 and SOCKS5 proxy module (deprecated) (Python 2 package) |
truocolo
|
2024-01-30 17:46 (UTC) |
kopia-ui-bin
|
0.17.0-1 |
16 |
0.88
|
A cross-platform backup-tool with encryption, deduplication, compression and cloud support. |
exu
|
2024-04-20 10:41 (UTC) |
way-displays
|
1.11.0-1 |
6 |
0.88
|
way-displays: Auto Manage Your Wayland Displays |
alex_courtis
|
2024-04-20 04:33 (UTC) |
python2-pip
|
20.3.4-1 |
4 |
0.88
|
The PyPA recommended tool for installing Python packages |
tallero
|
2024-02-17 17:39 (UTC) |
wl-color-picker
|
1.3-1 |
16 |
0.88
|
A wayland color picker that also works on wlroots |
jgmdev
|
2022-01-11 20:05 (UTC) |
python2-toml
|
0.10.2-7 |
3 |
0.88
|
A Python library for parsing and creating TOML |
hexd
|
2022-06-14 09:03 (UTC) |
python2-retrying
|
1.3.3-13 |
2 |
0.88
|
A general purpose Python retyring library (Python 2 package) |
tallero
|
2022-06-29 04:31 (UTC) |
python2-resolvelib
|
0.5.5-1 |
2 |
0.88
|
Resolve abstract dependencies into concrete ones |
tallero
|
2022-09-30 17:45 (UTC) |
bubblejail
|
0.8.3-1 |
11 |
0.88
|
Bubblewrap based sandboxing utility |
igo95862
|
2024-03-02 15:27 (UTC) |
python2-distro
|
1.6.0-1 |
3 |
0.88
|
Linux OS platform information API |
tallero
|
2022-09-30 17:16 (UTC) |
python2-colorama
|
0.4.6-1 |
2 |
0.88
|
Simple cross-platform colored terminal text in Python |
hexd
|
2024-02-05 04:49 (UTC) |
python2-cachecontrol
|
0.12.6-7 |
2 |
0.88
|
httplib2 caching for requests (legacy Python 2 version) |
tallero
|
2022-07-04 01:02 (UTC) |
lib32-vulkan-nouveau-git
|
24.1.branchpoint.r410.g92337af-1 |
3 |
0.88
|
Nouveau Vulkan (NVK) Mesa driver with some additions (32-bit Git version) |
DodoGTA
|
2024-05-06 08:41 (UTC) |
festival-freebsoft-utils
|
0.10-2 |
29 |
0.88
|
collection of Festival utilities including modules for speech-dispatcher support |
Xyne
|
2015-06-21 02:55 (UTC) |
sdl3-git
|
3.1.1.r1.g58529c182-1 |
2 |
0.88
|
A library for portable low-level access to a video framebuffer, audio output, mouse, and keyboard (Version 3) |
VitalyR
|
2024-04-02 03:02 (UTC) |
sirikali
|
1.5.1-1 |
31 |
0.88
|
A Qt/C++ GUI front end to sshfs, ecryptfs-simple, cryfs, gocryptfs, securefs, fscrypt and encfs |
mhogomchungu
|
2023-07-12 13:49 (UTC) |
python2-automat
|
20.2.0-7 |
1 |
0.88
|
Self-service finite-state machines for the programmer on the go. |
LaughingMan
|
2021-07-02 17:05 (UTC) |