squirrel-prover-git
|
latest-3 |
2 |
1.12
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
rustic-rs
|
0.7.0-1 |
3 |
1.07
|
Fast, encrypted, deduplicated backups powered by Rust |
tiziodcaio
|
2024-03-22 11:37 (UTC) |
obs-studio-tytan652
|
30.1.2-2 |
45 |
1.07
|
Free and open source software for video recording and live streaming. With everything except service integrations. Plus my bind interface PR, and sometimes backported fixes |
tytan652
|
2024-04-21 13:32 (UTC) |
surrealdb-bin
|
1.4.2-1 |
3 |
1.01
|
A scalable, distributed, collaborative, document-graph database, for the realtime web |
quio
|
2024-04-19 21:03 (UTC) |
activate-linux-git
|
r320.cf8080e-1 |
14 |
1.00
|
The 'Activate Windows' watermark ported to Linux with Xlib and cairo in C |
FabioLolix
|
2024-03-04 22:28 (UTC) |
swaylock-corrupter
|
1.2-2 |
2 |
1.00
|
Swaylock integrated with Simple image glitcher |
rukh-debug
|
2024-04-19 20:46 (UTC) |
sublime-text-dev
|
4.4173-2 |
518 |
1.00
|
Sophisticated text editor for code, html and prose - dev build |
SunRed
|
2024-04-08 21:00 (UTC) |
trustedqsl
|
2.7.3-1 |
25 |
1.00
|
QSO log signing data for the ARRL Logbook of The World (LoTW) |
not_anonymous
|
2024-04-12 20:29 (UTC) |
videoduplicatefinder-git
|
3.0.x.r279.g313d89a-2 |
1 |
1.00
|
Video Duplicate Finder is a cross-platform software to find duplicated video (and image) files on hard disk based on similiarity |
TheBill2001
|
2023-10-18 10:40 (UTC) |
clouddrive
|
2:0.6.12-0 |
1 |
1.00
|
CloudDrive - Unlocking the Unlimited Possibilities of Cloud Storage |
taotieren
|
2024-04-19 09:17 (UTC) |
git-cola
|
4.6.1-1 |
230 |
0.98
|
The highly caffeinated Git GUI |
MarcinWieczorek
|
2024-03-04 17:16 (UTC) |
jjazzlab-x-bin
|
3.2.1-1 |
4 |
0.95
|
A Midi-based framework dedicated to backing tracks generation |
jypma
|
2022-05-12 09:04 (UTC) |
libresprite
|
1:1.1+dev-2 |
14 |
0.94
|
Animated sprite editor & pixel art tool -- Fork of the last GPLv2 commit of Aseprite |
Eragon
|
2023-12-20 23:36 (UTC) |
solidity
|
0.8.25-1 |
5 |
0.92
|
Contract-Oriented Programming Language |
phnx47
|
2024-03-14 16:08 (UTC) |
po-debconf
|
1.0.21+nmu1-1 |
25 |
0.91
|
Debian manage translated Debconf templates files with gettext |
ItachiSan
|
2022-05-10 19:22 (UTC) |
nut-monitor
|
2.8.1-1 |
13 |
0.90
|
GUI to manage devices connected a NUT server |
zman0900
|
2023-12-21 12:33 (UTC) |
zrythm
|
1.0.0.rc.0-1 |
36 |
0.89
|
Highly automated and intuitive digital audio workstation |
eclairevoyant
|
2024-04-19 00:12 (UTC) |
gourou
|
0.8.6-1 |
10 |
0.89
|
Download and decrypt adobe encrypted (acsm) pdf and epub files |
vcalv
|
2024-04-13 19:31 (UTC) |
librepcb
|
1.1.0-2 |
18 |
0.88
|
A free EDA software to develop printed circuit boards |
dbrgn
|
2024-04-08 08:35 (UTC) |
lutgen-git
|
0.8.2.r0.gce3b0f8-1 |
2 |
0.87
|
A blazingly fast interpolated LUT generator and applicator for arbitrary and popular color palettes (latest git) |
ossian
|
2023-07-31 03:39 (UTC) |
hcclient-bin
|
1.18.1-5 |
1 |
0.87
|
A terminal client for hack.chat, deprecated binary distribution |
AnnikaV9
|
2023-12-17 14:21 (UTC) |
python-langdetect
|
1.0.9-4 |
1 |
0.87
|
Language detection library ported from Google's language-detection |
atomicfs
|
2024-03-19 23:08 (UTC) |
osu-lazer-extracted-bin
|
2024.412.1-1 |
1 |
0.87
|
A free-to-win rhythm game. Rhythm is just a *click* away! |
Rsplwe
|
2024-04-14 07:49 (UTC) |
3dslicer-nightly-bin
|
20230913.31938-1 |
3 |
0.87
|
A free, open source and multi-platform software package widely used for medical, biomedical, and related imaging research (nightly build) |
hottea
|
2023-09-14 08:36 (UTC) |
3dslicer-bin
|
5.6.1-2 |
5 |
0.87
|
A free, open source and multi-platform software package widely used for medical, biomedical, and related imaging research |
hottea
|
2024-01-05 12:24 (UTC) |
srmd-ncnn-vulkan-bin
|
20210210-1 |
2 |
0.87
|
SRMD super resolution implemented with ncnn library |
PumpkinCheshire
|
2021-04-24 16:37 (UTC) |
delta-icon-theme-git
|
r85.3fa71b7-1 |
1 |
0.87
|
Matted out icon pack for Linux. |
SteelT
|
2023-12-30 21:06 (UTC) |
elasticsearch7
|
7.17.18-1 |
3 |
0.87
|
Free and Open, Distributed, RESTful Search Engine |
HLFH
|
2024-03-01 09:30 (UTC) |
mandelbulber2
|
2.29-1 |
12 |
0.87
|
3D application designed to render 3D fractals such as the Mandelbulb, Mandelbox, BulbBox, JuliaBulb, Menger Sponge, and Iterated Function Systems. |
psyriccio
|
2023-04-13 09:23 (UTC) |
albert
|
0.23.0-3 |
28 |
0.83
|
A sophisticated standalone keyboard launcher |
arcanis
|
2024-03-14 15:23 (UTC) |
microsoft-edge-dev-bin
|
125.0.2518.0-1 |
98 |
0.78
|
A browser that combines a minimal design with sophisticated technology to make the web faster, safer, and easier |
bittin
|
2024-04-18 07:18 (UTC) |
yandex-browser
|
24.1.5.794-1 |
34 |
0.76
|
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. |
labaman
|
2024-04-16 13:20 (UTC) |
lensfun-git
|
0.3.2.r2592.gec9412d2-1 |
26 |
0.76
|
Database of photographic lenses and associated library |
eclairevoyant
|
2022-12-28 20:45 (UTC) |
reboot-arch-btw
|
0.7.1-1 |
4 |
0.75
|
Check if you need to reboot due to an updated kernel |
rnestler
|
2024-03-18 20:34 (UTC) |
devilspie2
|
0.44-1 |
34 |
0.75
|
A window matching utility, allowing the user to perform scripted actions on windows as they are created. |
larchunix
|
2022-01-30 10:54 (UTC) |
macutils-git
|
v2.0b4.r0.58b0225-1 |
1 |
0.75
|
Converting and decompressing some old Macintosh-oriented archive formats |
VorpalWay
|
2022-09-29 21:07 (UTC) |
microsoft-edge-beta-bin
|
124.0.2478.51-1 |
28 |
0.75
|
A browser that combines a minimal design with sophisticated technology to make the web faster, safer, and easier |
bittin
|
2024-04-20 09:53 (UTC) |
plakativ-git
|
0.5.2.r0.ge84aa8d-2 |
1 |
0.75
|
Stretch a PDF document or raster image across multiple pages that can then be printed. |
ruahcra
|
2024-03-08 13:34 (UTC) |
grub2-theme-arch-suse
|
3.1-1 |
51 |
0.75
|
ArchLinux branded Grub2 theme adapted from openSUSE 12.2 |
nullptr_t
|
2018-03-09 07:49 (UTC) |
devpod-bin
|
0.5.4-1 |
1 |
0.75
|
Codespaces but open-source, client-only, and unopinionated - unofficial package |
feilong
|
2024-04-05 02:37 (UTC) |
python-huggingface-hub
|
1:0.22.2-1 |
2 |
0.75
|
All the open source things related to the Hugging Face Hub |
hottea
|
2024-03-29 12:25 (UTC) |
python-glom
|
22.1.0-1 |
1 |
0.75
|
Python's nested data operator |
aloxaf
|
2022-05-08 02:57 (UTC) |
dvdisaster
|
0.79.10-2 |
10 |
0.75
|
Provides a margin of safety against data loss on newly created ISO, CD, DVD, BDR, and M-Disc media caused by aging or scratches |
flan_suse
|
2023-01-14 15:16 (UTC) |
emqx-git
|
5.0.3.49-1 |
1 |
0.75
|
EMQX, a distributed, massively scalable, highly extensible MQTT message broker. |
einararnason
|
2022-07-18 14:25 (UTC) |
shedskin-git
|
0.9.8.r68.g937e8196-1 |
3 |
0.75
|
Experimental (restricted) Python-to-C++ compiler (development version) |
micwoj92
|
2024-04-04 03:36 (UTC) |
python-pipx-git
|
r723.9ae41342-1 |
1 |
0.75
|
Install and Run Python Applications in Isolated Environments |
fossdd
|
2024-04-05 22:23 (UTC) |
tijolo-git
|
0.8.1-1 |
1 |
0.75
|
Lightweight, keyboard-oriented IDE for the masses |
micwoj92
|
2024-04-04 01:27 (UTC) |
gmobile-git
|
0.1.0.r5.7d55bed-1 |
1 |
0.75
|
Functions useful in mobile related, glib based projects |
fossdd
|
2024-04-03 17:09 (UTC) |
gmobile
|
0.1.0-2 |
1 |
0.75
|
Functions useful in mobile related, glib based projects |
fossdd
|
2024-04-03 17:01 (UTC) |
betula-git
|
1.2.0.r55.ge83a303-1 |
1 |
0.75
|
Federated personal link collection manager (built from latest commit) |
kseistrup
|
2024-04-06 14:13 (UTC) |