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) |
vocabsieve
|
0.12.0-00 |
4 |
0.90
|
A simple, effective sentence mining tool. |
1over137
|
2024-04-29 14:08 (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) |
python-cadquery
|
2.4.0-2 |
7 |
0.89
|
A parametric CAD scripting framework based on PythonOCC |
greyltc
|
2024-03-27 19:25 (UTC) |
hardened_malloc
|
11-1 |
17 |
0.89
|
Hardened allocator designed for modern systems |
thithib
|
2022-01-27 20:18 (UTC) |
python2-trustme
|
0.9.0-5 |
1 |
0.89
|
Library for fake certificate authority (CA) to generate fake TLS certs (Python 2 package) |
truocolo
|
2024-01-30 04:08 (UTC) |
bash-complete-alias
|
1.18.0-1 |
13 |
0.89
|
automagical bash shell alias completion |
tinywrkb
|
2021-08-28 12:15 (UTC) |
shufflecake
|
v0.4.4-1 |
2 |
0.89
|
Plausible deniability layer for Linux (Userland & DKMS) |
necklace
|
2024-02-12 07:28 (UTC) |
surfshark-client
|
2.3.5.3582-1 |
16 |
0.88
|
Surfshark VPN GUI client for Linux. Encrypt your internet activity so no one can track or steal your data. Increase your privacy and avoid tracking by using a different IP address. Keep your digital freedom and security while using unprotected networks. |
hiiamlala
|
2024-04-26 08:42 (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) |
python2-cachecontrol
|
0.12.6-7 |
2 |
0.88
|
httplib2 caching for requests (legacy Python 2 version) |
tallero
|
2022-07-04 01:02 (UTC) |
ticktick
|
2.0.20-1 |
15 |
0.88
|
Official desktop application for Linux |
Aerz
|
2024-04-18 08:48 (UTC) |
adwaita-qt5-git
|
1.4.1.r17.g417df19-1 |
8 |
0.88
|
A style to bend Qt5 applications to look like they belong into GNOME Shell, git version |
redtide
|
2022-09-15 08:59 (UTC) |
adwaita-qt6-git
|
1.4.1.r17.g417df19-1 |
8 |
0.88
|
A style to bend Qt6 applications to look like they belong into GNOME Shell, git version |
redtide
|
2022-09-15 08:59 (UTC) |
ros2-iron-base
|
2024.04.23-1 |
2 |
0.87
|
A set of software libraries and tools for building robot applications (Iron Irwini, base variant) |
oysstu
|
2024-04-23 15:43 (UTC) |
extundelete
|
0.2.4-2 |
11 |
0.87
|
extundelete is a utility that can recover deleted files from an ext3 or ext4 partition. |
taotieren
|
2023-10-17 07:27 (UTC) |
wlrobs
|
1.1-2 |
6 |
0.87
|
An obs-studio plugin that allows you to screen capture on wlroots based wayland compositors |
junglerobba
|
2022-11-14 19:57 (UTC) |
easymp3gain-gtk2
|
0.5.0-8 |
22 |
0.87
|
GTK2 Graphical User Interface (GUI) for MP3Gain, VorbisGain and AACGain |
Muflone
|
2015-06-13 16:04 (UTC) |
hopper4
|
5.11.4-1 |
30 |
0.87
|
Reverse engineering tool that lets you disassemble, decompile and debug your applications |
Mr.Smith1974
|
2023-07-14 08:27 (UTC) |
snapcast
|
0.28.0-2 |
35 |
0.87
|
Synchronous multi-room audio player |
mogwai
|
2024-04-19 19:20 (UTC) |
volctl
|
0.9.4-1 |
15 |
0.87
|
Per-application volume control and OSD for Linux desktops. |
buzz
|
2023-05-07 10:48 (UTC) |
gnome-calculator-gtk3
|
41.1-1 |
4 |
0.87
|
GNOME Scientific calculator (last GTK3 release) |
twa022
|
2022-04-10 17:33 (UTC) |
gelemental
|
2.0.2-1 |
29 |
0.87
|
gElemental is a periodic table viewer that provides detailed information on the chemical elements |
chelqo
|
2023-07-02 22:02 (UTC) |
iscan-plugin-perfection-v330
|
1.0.0-5 |
11 |
0.87
|
EPSON Image Scan! plugin for Epson scanners GT-F730, GT-S630, Perfection V33, Perfection V330 Photo |
Kewl
|
2022-02-05 11:28 (UTC) |
zerofree
|
1.1.1-1 |
23 |
0.87
|
Scans for non-zero free blocks in an ext2 filesystem and fills them with zeroes |
eworm
|
2018-08-10 19:38 (UTC) |
kind
|
0.22.0-1 |
8 |
0.87
|
Kubernetes IN Docker - local clusters for testing Kubernetes |
matthias.lisin
|
2024-02-14 23:39 (UTC) |
pulseeffects-legacy
|
4.8.7-1 |
22 |
0.87
|
Audio Effects for Pulseaudio Applications, without pipewire |
IslandC0der
|
2022-06-16 17:42 (UTC) |
tomate-indicator-plugin
|
0.12.1-1 |
2 |
0.87
|
Tomate plugin that shows the session progress in indicator |
eliostvs
|
2022-08-09 22:20 (UTC) |
python-yapsy
|
1.12.2-9 |
1 |
0.87
|
A simple plugin system for Python applications |
yochananmarqos
|
2024-04-03 15:19 (UTC) |
python-wiring
|
0.4.0-1 |
5 |
0.87
|
Architectural foundation for Python applications |
eliostvs
|
2016-12-24 22:10 (UTC) |
python-pyinstrument
|
4.6.2-1 |
1 |
0.87
|
Call stack profiler for Python |
alhirzel
|
2024-01-29 22:07 (UTC) |
headset-charge-indicator-git
|
1.0.0.0.r33.g795705a-1 |
2 |
0.87
|
Simple app-indicator for GNOME desktops to display the battery charge of some wireless headsets |
RyanHakurei
|
2020-12-14 21:25 (UTC) |
minicom-git
|
2.8.r6.g4efbb0a-2 |
1 |
0.87
|
A serial communication program |
orphan
|
2021-01-25 17:50 (UTC) |
omnetpp
|
6.0.3-1 |
4 |
0.87
|
Component-based simulation package designed for modeling communication networks |
ekkelett
|
2024-03-12 11:29 (UTC) |
libcapi
|
3.2.3-2 |
7 |
0.87
|
Modular libcapi20 |
sgar
|
2020-01-19 19:34 (UTC) |
advanced-rest-client
|
17.0.9-1 |
11 |
0.87
|
A developer tool to test a HTTP request. The Advanced REST Client desktop application. |
sysroot
|
2022-03-07 03:23 (UTC) |
baca-ereader-git
|
0.1.17.r0.g13ee794-1 |
2 |
0.87
|
TUI Ebook Reader |
xiota
|
2024-04-27 14:53 (UTC) |
wavebox
|
10.124.31_2-1 |
30 |
0.87
|
The next generation of web-desktop communication |
tomwavebox
|
2024-05-10 08:16 (UTC) |
python-wsgi-intercept
|
1.13.0-3 |
1 |
0.87
|
Intercept socket connection to wsgi applications for testing |
loacker
|
2024-05-04 23:01 (UTC) |
exodus-bundler
|
2.0.4-2 |
1 |
0.87
|
Painless relocation of Linux binaries |
nobodywasishere
|
2021-12-05 06:10 (UTC) |
logisim-evolution-bin
|
3.8.0-1 |
8 |
0.87
|
An educational tool for designing and simulating digital logic circuits (binary version) |
Paragoumba
|
2022-12-04 21:32 (UTC) |
ikatago-client
|
1.6.0-1 |
1 |
0.87
|
A tool for connect remote katago to local GUI |
startnoob
|
2022-08-02 02:00 (UTC) |
protonmail-import-export-app-bin
|
1.3.3-1 |
9 |
0.87
|
The Import-Export app helps you to migrate your emails from local files or remote IMAP servers to ProtonMail or simply export emails to local folder. |
mprom
|
2021-05-24 05:56 (UTC) |
gowin-eda-ide
|
1.9.9.02-1 |
2 |
0.87
|
Gowin EDA IDE - Gowin EDA, an easy to use integrated design environment provides design engineers one-stop solution from design entry to verification. |
yjun
|
2024-04-13 13:50 (UTC) |
gowin-eda-programmer
|
1.9.9.02-1 |
2 |
0.87
|
Gowin EDA Programmer - Gowin EDA, an easy to use integrated design environment provides design engineers one-stop solution from design entry to verification. |
yjun
|
2024-04-13 13:50 (UTC) |
python-pyephem
|
4.1.5-2 |
60 |
0.87
|
PyEphem provides scientific-grade astronomical computations |
pozar87
|
2024-03-21 10:29 (UTC) |
hustmirror-cli-git
|
1.1.4.r4.gf72022e-1 |
1 |
0.87
|
The command line tool (hustmirror-cli) is a small tool that can help you quickly change sources to HUST mirror sources. |
TurtleRuss
|
2024-05-11 12:10 (UTC) |
caustic-parser
|
3.0.0-1 |
1 |
0.87
|
Caustic's Parser--CLI (cap) and Python package |
Shae.sh
|
2024-05-02 20:10 (UTC) |
caustic-grammar
|
2.2.0-1 |
1 |
0.87
|
Caustic's canonical grammar (Python package) |
Shae.sh
|
2024-05-03 20:57 (UTC) |
caustic-cst
|
2.1.1-1 |
1 |
0.87
|
Caustic's Abstract Syntax Tree (Python package) |
Shae.sh
|
2024-05-02 20:02 (UTC) |