squirrel-prover-git
|
latest-3 |
2 |
0.97
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
linux-zencjk
|
6.8.7.zen1-1 |
4 |
0.97
|
The Linux ZEN (with cjktty patch) kernel and modules |
heipiao233
|
2024-04-19 15:33 (UTC) |
linux-zencjk-headers
|
6.8.7.zen1-1 |
4 |
0.97
|
Headers and scripts for building modules for the Linux ZEN (with cjktty patch) kernel |
heipiao233
|
2024-04-19 15:33 (UTC) |
nordvpn-bin
|
3.17.4-1 |
161 |
0.97
|
NordVPN CLI tool for Linux |
Mxzcabel
|
2024-04-05 12:55 (UTC) |
qbittorrent-enhanced-qt5
|
4.6.4.10-1 |
11 |
0.97
|
A bittorrent client powered by C++, Qt and the good libtorrent library (Enhanced Edition), Built against Qt5 |
leo980
|
2024-03-29 15:15 (UTC) |
nvidia-beta-dkms
|
550.78-1 |
60 |
0.97
|
NVIDIA driver sources for linux (beta version) |
dbermond
|
2024-04-26 00:50 (UTC) |
webstorm
|
2024.1.2-1 |
182 |
0.97
|
JavaScript IDE and HTML editor |
freswa
|
2024-04-26 12:31 (UTC) |
webstorm-jre
|
2024.1.2-1 |
182 |
0.97
|
JBR (JetBrains Runtime) for WebStorm - a patched JRE |
freswa
|
2024-04-26 12:31 (UTC) |
amd-vulkan-prefixes
|
1-1 |
9 |
0.97
|
Select needed vulkan implementation with vk_radv, vk_amdvlk or vk_pro prefix |
Ashark
|
2022-03-18 20:52 (UTC) |
webcamoid
|
9.1.1-1 |
55 |
0.97
|
Webcamoid is a full featured webcam capture application. |
hipersayan_x
|
2023-06-23 13:28 (UTC) |
glfw-wayland-minecraft-cursorfix
|
3.4-4 |
2 |
0.96
|
A free, open source, portable framework for graphical application development (wayland, patched for Minecraft) |
lea
|
2024-03-07 12:15 (UTC) |
powershell-bin
|
7.4.2-1 |
61 |
0.96
|
A cross-platform automation and configuration tool/framework (binary package) |
kylesferrazza
|
2024-04-15 10:57 (UTC) |
previewqt
|
2.0-1 |
2 |
0.96
|
Simple application for previewing all kinds of files, from images to videos, from documents to archives. |
luspi
|
2024-04-06 00:28 (UTC) |
obs-vkcapture-git
|
r46.0645e74-1 |
17 |
0.96
|
OBS Linux Vulkan/OpenGL game capture |
nowrep
|
2021-12-23 09:25 (UTC) |
lib32-obs-vkcapture-git
|
r46.0645e74-1 |
17 |
0.96
|
OBS Linux Vulkan/OpenGL game capture (32-bit) |
nowrep
|
2021-12-23 09:25 (UTC) |
sway-im
|
1:1.9-1 |
5 |
0.96
|
Tiling Wayland compositor and replacement for the i3 window manager, with input method popups v2 support |
GalaxySnail
|
2024-02-25 07:04 (UTC) |
libldap24
|
2.4.59-2 |
12 |
0.96
|
Lightweight Directory Access Protocol (LDAP) client libraries |
thrasibule
|
2024-01-04 21:15 (UTC) |
xivlauncher-rb
|
2:1.0.8.2-1 |
5 |
0.95
|
Custom launcher for Final Fantasy XIV Online with RB Patches! |
rankynbass
|
2024-04-24 01:41 (UTC) |
rime-cloverpinyin
|
1.1.4-2 |
20 |
0.95
|
Clover Simplified pinyin input for rime |
fkxxyz
|
2020-09-28 06:56 (UTC) |
restic-browser-bin
|
0.3.0-1 |
2 |
0.95
|
A GUI to browse and restore restic backup repositories. |
devome
|
2024-04-10 16:11 (UTC) |
jre8
|
8u401-1 |
45 |
0.95
|
Oracle Java 8 Runtime Environment LTS |
severach
|
2024-02-03 04:44 (UTC) |
tochd
|
0.13-1 |
3 |
0.94
|
Convert game ISO and archives to CD/DVD CHD for emulation. |
thingsiplay
|
2024-03-12 02:06 (UTC) |
gconf
|
3.2.6+11+g07808097-10 |
114 |
0.94
|
An obsolete configuration database system |
IslandC0der
|
2021-03-01 00:07 (UTC) |
google-chat-linux-bin
|
5.29.23-1 |
7 |
0.94
|
Unofficial electron-based desktop client for Google Chat, electron included |
squalou
|
2024-02-23 07:29 (UTC) |
gem2arch
|
0.11-2 |
61 |
0.94
|
Create PKGBUILD from Ruby Gem Package |
Freed
|
2023-07-17 20:47 (UTC) |
eparakstitajs3
|
1.7.4-1 |
4 |
0.94
|
Application software to sign and validate documents in EDOC and PDF formats. |
kaaposc
|
2024-02-02 10:14 (UTC) |
opengfw
|
0.3.3-1 |
2 |
0.94
|
A flexible, easy-to-use, open source implementation of GFW |
carsme
|
2024-04-10 07:51 (UTC) |
linux-g14-headers
|
6.8.7.arch1-2 |
9 |
0.94
|
Headers and scripts for building modules for the Linux-g14 kernel |
Taijian
|
2024-04-18 09:44 (UTC) |
tflint
|
0.48.0-1 |
6 |
0.93
|
A linter for Terraform code |
bsdutra
|
2023-09-26 15:00 (UTC) |
kodi-addon-pvr-iptvsimple
|
21.8.4-1 |
36 |
0.93
|
IPTV Simple PVR client addon for Kodi |
thepasto
|
2024-04-17 15:07 (UTC) |
new-lg4ff-dkms-git
|
0.1.r0.ge7601c0-1 |
8 |
0.93
|
Experimental Logitech force feedback module (DKMS) |
parkerlreed
|
2019-12-06 16:15 (UTC) |
ruby-gambiarra
|
0.0.6-2 |
1 |
0.93
|
An intuitive framework for CLI applications |
Phaotee
|
2023-04-13 16:47 (UTC) |
gz-harmonic
|
1.0.0-1 |
3 |
0.93
|
Gazebo Harmonic: toolbox of development libraries and cloud services for robotics simulation. |
oysstu
|
2023-10-09 19:44 (UTC) |
bmi260-dkms
|
0.0.2-1 |
2 |
0.93
|
Driver for the Bosch BMI260 IMU. Provided as a DKMS module. |
antheas
|
2024-01-28 10:39 (UTC) |
chayang
|
0.1.0-1 |
4 |
0.93
|
Gradually dim the screen (wayland). |
xenrox
|
2023-07-24 10:54 (UTC) |
mcomix
|
3.1.0-1 |
32 |
0.93
|
GTK comic book viewer |
qark
|
2024-01-22 22:18 (UTC) |
catppuccin-gtk-theme-latte
|
0.7.3-1 |
5 |
0.93
|
Soothing pastel theme for GTK3 - Latte |
catppuccin
|
2024-04-07 12:53 (UTC) |
matrix-sliding-sync
|
0.99.16-1 |
3 |
0.93
|
Sliding sync proxy for matrix protocol, required for modern clients like Element X. |
z3ntu
|
2024-04-27 08:24 (UTC) |
tonelib-gfx-bin
|
4.8.0-2 |
12 |
0.93
|
ToneLib GFX – the perfect custom tone with a complete guitar studio in your computer! |
ohli
|
2024-03-12 07:40 (UTC) |
c++utilities
|
5.24.7-1 |
47 |
0.92
|
Common C++ classes and routines such as argument parser, IO and conversion utilities |
Martchus
|
2024-03-05 14:00 (UTC) |
firestorm-bin
|
6.6.17.70368-1 |
63 |
0.92
|
Firestorm is a feature-packed third-party viewer for Second Life. |
chungy
|
2023-12-16 00:49 (UTC) |
ov
|
0.34.0-1 |
4 |
0.92
|
Feature-rich terminal-based text viewer |
YHNdnzj
|
2024-04-21 13:20 (UTC) |
electron19
|
19.1.9-5 |
8 |
0.92
|
Build cross platform desktop apps with web technologies |
Drew
|
2023-06-22 20:07 (UTC) |
ruqola-git
|
2.1.43alpha-1 |
4 |
0.92
|
Rocket.Chat client for the KDE desktop |
shaan7
|
2024-03-11 21:14 (UTC) |
hfsutils
|
3.2.6_p15-2 |
7 |
0.92
|
HFS Access utils |
codyps
|
2024-03-24 05:57 (UTC) |
signal-cli
|
0.13.3-1 |
32 |
0.92
|
Provides a commandline and dbus interface for secure Signal messaging. |
AsamK
|
2024-04-19 17:43 (UTC) |
solidity
|
0.8.25-1 |
5 |
0.92
|
Contract-Oriented Programming Language |
phnx47
|
2024-03-14 16:08 (UTC) |
hyprdim
|
2.2.4-1 |
2 |
0.92
|
Automatically dim windows in Hyprland when switching between them |
murlakatamenka
|
2024-04-09 17:51 (UTC) |
linux-ck
|
6.8.7-1 |
461 |
0.91
|
The Linux kernel and modules with ck's hrtimer patches |
graysky
|
2024-04-27 20:16 (UTC) |
linux-ck-headers
|
6.8.7-1 |
461 |
0.91
|
Headers and scripts for building modules for Linux-ck kernel |
graysky
|
2024-04-27 20:16 (UTC) |