squirrel-prover-git
|
latest-3 |
2 |
0.84
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
1password-cli
|
2.27.0-1 |
42 |
0.83
|
1Password command line tool |
slurpee
|
2024-04-19 08:22 (UTC) |
i686-elf-binutils
|
2.41-1 |
9 |
0.75
|
A set of programs to assemble and manipulate binary and object files for the i686-elf target |
randomnobody
|
2023-11-25 07:43 (UTC) |
kpcli-go
|
1.0.10-1 |
1 |
0.75
|
create, list and diff entries between keepass databases |
axml
|
2024-04-16 20:40 (UTC) |
python-dacite
|
1.8.1-2 |
11 |
0.72
|
Simplify creation of data classes (PEP 557) from dictionaries. |
phijor
|
2023-07-16 14:13 (UTC) |
sgdboop-bin
|
1.2.8-1 |
7 |
0.70
|
SGDBoop is a tool that automatically applies assets from SteamGridDB directly to your Steam library |
Tomoghno
|
2023-09-16 14:20 (UTC) |
python-aioesphomeapi
|
23.2.0-1 |
4 |
0.68
|
Python Client for ESPHome native API. Used by Home Assistant. |
sgar
|
2024-04-18 06:56 (UTC) |
gnome-shell-extension-tiling-assistant
|
47-1 |
9 |
0.67
|
A GNOME Shell extension which adds a Windows-like snap assist to the GNOME desktop |
yochananmarqos
|
2024-04-28 14:53 (UTC) |
smassh
|
3.1.3-2 |
3 |
0.66
|
TUI based typing test application inspired by MonkeyType |
kraanzu
|
2024-03-26 17:55 (UTC) |
qt6-tools-desktop
|
6.6.1-1 |
3 |
0.64
|
Adds desktop integration files for qt6-tools (assistent, designer, linguist and qdbusviewer) |
nomisge
|
2023-12-30 01:26 (UTC) |
lensfun-git
|
0.3.2.r2592.gec9412d2-1 |
26 |
0.57
|
Database of photographic lenses and associated library |
eclairevoyant
|
2022-12-28 20:45 (UTC) |
enpass-bin
|
6.10.1.1661-1 |
82 |
0.57
|
A multiplatform password manager |
tadly
|
2024-04-17 15:21 (UTC) |
classin-bin
|
5.1.1.34-3 |
1 |
0.57
|
Proprietary remote classroom application by EEO. |
cyqsimon
|
2024-04-07 01:51 (UTC) |
jlc-assistant-bin
|
5.0.69-14 |
3 |
0.57
|
嘉立创下单助手:该应用为您下单提供便利,快速获取优惠及下单信息,无需在网站等待审核审单!在下单助手下单立享打折优惠! |
taotieren
|
2023-12-26 16:40 (UTC) |
tijolo-git
|
0.8.1-2 |
1 |
0.57
|
Lightweight, keyboard-oriented IDE for the masses |
micwoj92
|
2024-04-29 18:08 (UTC) |
tessen
|
2.2.3-1 |
4 |
0.57
|
An interactive menu to autotype and copy password-store and gopass data |
ayushnix
|
2024-03-05 16:57 (UTC) |
tui-mines
|
0.1.0-1 |
1 |
0.57
|
A text-based user interface implimentation of the classic mine sweeping puzzle game |
Strit
|
2024-04-03 16:03 (UTC) |
emqx-git
|
5.0.3.49-1 |
1 |
0.56
|
EMQX, a distributed, massively scalable, highly extensible MQTT message broker. |
einararnason
|
2022-07-18 14:25 (UTC) |
arm-linux-gnueabihf-binutils
|
2.42-1 |
62 |
0.54
|
A set of programs to assemble and manipulate binary and object files |
wgottwalt
|
2024-02-11 05:18 (UTC) |
powder-toy
|
98.2.365-1 |
48 |
0.53
|
Desktop version of the classic falling sand physics sandbox, simulates air pressure, velocity & heat! |
dmitmel
|
2024-04-02 13:44 (UTC) |
keepmenu
|
1.4.1-1 |
5 |
0.53
|
dmenu/rofi frontend for KeePass databases |
firecat53
|
2024-02-06 20:40 (UTC) |
airgorah-bin
|
0.7.2-1 |
1 |
0.50
|
A WiFi auditing software that can perform deauth attacks and passwords cracking |
zxp19821005
|
2024-04-15 03:06 (UTC) |
keepass-plugin-kpuinput
|
1.4-2 |
3 |
0.49
|
Keepass plugin to use /dev/uinput for auto-typing |
jhenson
|
2023-06-23 13:17 (UTC) |
freecad-assembly3-appimage
|
2024.04.07-2 |
3 |
0.49
|
Assembly3 workbench for FreeCAD. |
gilbs
|
2024-04-10 15:36 (UTC) |
gnome-defaults-list
|
46.0-1 |
109 |
0.49
|
Default file associations for GNOME environment |
ItachiSan
|
2024-03-26 08:09 (UTC) |
thunk_gen-git
|
0.1.r19.20240324.3e8905a-1 |
1 |
0.49
|
Thunk generator for C and assembler code. |
dreieck
|
2024-03-24 16:04 (UTC) |
buttercup-desktop
|
2.24.4-1 |
14 |
0.49
|
Javascript Password Vault - Multi-Platform Desktop Application |
naetherm
|
2023-12-16 18:57 (UTC) |
powder-toy-beta
|
98.0.362-1 |
2 |
0.49
|
Desktop version of the classic falling sand physics sandbox, simulates air pressure, velocity & heat! - Beta branch |
dmitmel
|
2024-03-27 16:34 (UTC) |
paxchange
|
2:1.2.5-1 |
3 |
0.49
|
Simple dart script to passively synchronize installed pacman packages between systems. |
Skycoder42
|
2024-03-20 15:12 (UTC) |
paxchange-debug
|
2:1.2.5-1 |
3 |
0.49
|
Simple dart script to passively synchronize installed pacman packages between systems. |
Skycoder42
|
2024-03-20 15:12 (UTC) |
python-flake8-class-newline
|
1.6.0-3 |
2 |
0.49
|
Flake8 lint for newline after class definitions |
carlosal1015
|
2021-12-14 18:06 (UTC) |
python-ipy
|
1.01-4 |
1 |
0.49
|
Class and tools for handling of IPv4 and IPv6 addresses and networks |
orphan
|
2024-03-19 22:10 (UTC) |
gnubg
|
1.08.002-1 |
1 |
0.49
|
World class backgammon application |
elod
|
2024-03-19 23:57 (UTC) |
yass-proxy
|
1.9.5-1 |
1 |
0.49
|
lightweight http/socks proxy |
hky
|
2024-05-07 09:30 (UTC) |
pt-plugin-plus-git
|
1.6.1.2591-1 |
1 |
0.49
|
Microsoft Edge, Google Chrome, Firefox browser plugin (Web Extensions), which is mainly used to assist the seeds of downloading PT station. |
devome
|
2024-03-28 02:59 (UTC) |
pt-plugin-plus-bin
|
1.6.1.2623-1 |
1 |
0.49
|
Microsoft Edge, Google Chrome, Firefox browser plugin (Web Extensions), which is mainly used to assist the seeds of downloading PT station. |
devome
|
2024-05-01 20:13 (UTC) |
seclists
|
2024.1-1 |
10 |
0.44
|
A collection of multiple types of lists used during security assessments, collected in one place. |
carlosal1015
|
2024-02-17 12:22 (UTC) |
wasm-tools
|
1.0.60-1 |
3 |
0.44
|
Low level tooling for WebAssembly in Rust |
mh4ckwascut
|
2024-02-12 23:17 (UTC) |
ruby-pdf-inspector
|
1.3.0-2 |
2 |
0.43
|
Collection of PDF::Reader based analysis classes for inspecting PDF output |
carsme
|
2024-01-28 22:57 (UTC) |
optivorbis
|
0.2.0-1 |
2 |
0.43
|
Application for lossless, format-preserving, two-pass optimization and repair of Vorbis data |
Chocobo1
|
2023-12-12 04:17 (UTC) |
soundfont-fatboy
|
0.790-2 |
8 |
0.43
|
A free GM/GS SoundFont for classic video game MIDI, emulation, and general usage |
3ndymion
|
2022-11-18 22:14 (UTC) |
qrq
|
0.3.5-1 |
6 |
0.42
|
CW trainer for Linux/Unix - similar to the DOS Classic RUFZ |
not_anonymous
|
2022-05-28 00:24 (UTC) |
flashbench-git
|
r62.2e30b19-1 |
32 |
0.41
|
Tool for benchmarking and classifying flash memory drives |
lestb
|
2019-10-27 04:04 (UTC) |
aegisub-arch1t3cht
|
feature_11-1 |
4 |
0.39
|
A general-purpose subtitle editor with ASS/SSA support (arch1t3cht fork) |
0tkl
|
2023-11-23 12:29 (UTC) |
bitmagnet-git
|
v0.7.14.r2.ge9e19a5-1 |
1 |
0.37
|
A self-hosted BitTorrent indexer, DHT crawler, content classifier and torrent search engine with web UI, GraphQL API and Servarr stack integration. |
davispuh
|
2024-03-27 17:00 (UTC) |
btrfs-assistant-git
|
1.9.r2.ge602da7-1 |
7 |
0.36
|
An application for managing BTRFS subvolumes and Snapper snapshots |
dr460nf1r3
|
2024-01-14 21:23 (UTC) |
libvmaf-compat
|
2.3.1-2 |
1 |
0.34
|
Perceptual video quality assessment library (legacy v2.x API) |
orphan
|
2024-04-30 21:09 (UTC) |
klassy-git
|
6.0.breeze6.0.2.r2.g58c38f60-1 |
7 |
0.32
|
Highly customizable binary Window Decoration, Application Style and Global Theme plugin for recent versions of the KDE Plasma desktop. |
rocka
|
2024-03-16 12:19 (UTC) |
klassy-qt5-git
|
6.0.breeze6.0.2.r2.g58c38f60-1 |
7 |
0.32
|
Highly customizable binary Window Decoration, Application Style and Global Theme plugin for recent versions of the KDE Plasma desktop. |
rocka
|
2024-03-16 12:19 (UTC) |
oldschool-pc-font-ttf
|
2.2-1 |
1 |
0.32
|
Classic fonts from oldschool pc fonts |
zhaose
|
2021-08-31 16:03 (UTC) |