squirrel-prover-git
|
latest-3 |
2 |
0.84
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
ryzen_smu-dkms-git
|
162.e61177d-1 |
16 |
0.83
|
A Linux kernel driver that exposes access to the SMU (System Management Unit) for certain AMD Ryzen Processors |
moson
|
2024-03-23 07:45 (UTC) |
obs-vkcapture-git
|
r46.0645e74-1 |
17 |
0.83
|
OBS Linux Vulkan/OpenGL game capture |
nowrep
|
2021-12-23 09:25 (UTC) |
lib32-obs-vkcapture-git
|
r46.0645e74-1 |
17 |
0.83
|
OBS Linux Vulkan/OpenGL game capture (32-bit) |
nowrep
|
2021-12-23 09:25 (UTC) |
zfs-utils-staging-git
|
2.2.3.r12.gdeb7a84231-2 |
2 |
0.82
|
Userspace utilities for the Zettabyte File System (release staging branch). |
bjin
|
2024-04-08 14:50 (UTC) |
colloid-icon-theme-git
|
2024.02.28.r1.ga671b46-1 |
7 |
0.80
|
Icon theme for Linux desktops |
yochananmarqos
|
2024-04-06 00:20 (UTC) |
colloid-dracula-theme-git
|
2024.02.28.r1.ga671b46-1 |
7 |
0.80
|
Dracula icon theme for Linux desktops |
yochananmarqos
|
2024-04-06 00:20 (UTC) |
colloid-nord-icon-theme-git
|
2024.02.28.r1.ga671b46-1 |
7 |
0.80
|
Nord icon theme for Linux desktops |
yochananmarqos
|
2024-04-06 00:20 (UTC) |
colloid-cursors-git
|
2024.02.28.r1.ga671b46-1 |
7 |
0.80
|
An x-cursor theme inspired by Colloid theme and based on capitaine-cursors |
yochananmarqos
|
2024-04-06 00:20 (UTC) |
ruqola-git
|
2.1.43alpha-1 |
4 |
0.80
|
Rocket.Chat client for the KDE desktop |
shaan7
|
2024-03-11 21:14 (UTC) |
hardinfo2-git
|
2.0.18.r2.g60796c2-1 |
17 |
0.79
|
System Information and Benchmark for Linux Systems. |
yochananmarqos
|
2024-03-31 16:44 (UTC) |
kodi-addon-inputstream-adaptive-git
|
21.4.6.Omega.r0.g0e0820d5-1 |
16 |
0.79
|
InputStream client for adaptive streams for Kodi 21+ |
kevku
|
2024-05-02 13:34 (UTC) |
beets-git
|
1.6.0.r1424.g7543a351e-1 |
23 |
0.79
|
Flexible music library manager and tagger - git version |
alex19EP
|
2024-04-24 12:51 (UTC) |
hyprland-cmake-git
|
0.37.1.r15.g7283dde8-1 |
2 |
0.78
|
a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks. |
morrone
|
2024-03-19 02:38 (UTC) |
freetube-git
|
0.19.1.beta.r5627.993c104-3 |
18 |
0.78
|
An open source desktop YouTube player built with privacy in mind - built from git source tree. |
picokan
|
2024-04-20 07:41 (UTC) |
zrythm
|
1.0.0.rc.0-1 |
36 |
0.78
|
Highly automated and intuitive digital audio workstation |
eclairevoyant
|
2024-04-19 00:12 (UTC) |
simplescreenrecorder-git
|
0.4.2.r11.g7f26bc7-1 |
22 |
0.78
|
A simple but powerful recording tool for X11, OpenGL and V4L2. (Git version) |
MaartenBaert
|
2020-07-08 17:11 (UTC) |
zenmonitor3-git
|
89.2e68a31-1 |
16 |
0.77
|
Zenmonitor3 is monitoring software for AMD Zen-based CPUs, now with Zen 3 support! |
dodecahedron
|
2022-09-05 20:56 (UTC) |
go-chromecast-git
|
0.3.1.r8.gc2af7da-1 |
4 |
0.77
|
Implements a basic number of the google chromecast commands. |
Stephen304
|
2023-10-29 23:16 (UTC) |
fw-ectool-git
|
r2760.3ebe7b8-1 |
8 |
0.77
|
ectool for the Framework laptop. |
ThirstyShark
|
2023-12-18 17:43 (UTC) |
ultimate-doom-builder-git
|
3.0.0.4132.501c2f95-2 |
2 |
0.77
|
A level editor for Doom-engine games, with experimental Linux support. |
xiota
|
2023-11-12 01:57 (UTC) |
ttf-monaco-nerd-font-git
|
r23.a65e20d-1 |
2 |
0.77
|
Monaco font patched with ryanoasis’s nerd patcher |
kmz
|
2023-10-16 12:10 (UTC) |
lutgen-git
|
0.8.2.r0.gce3b0f8-1 |
2 |
0.76
|
A blazingly fast interpolated LUT generator and applicator for arbitrary and popular color palettes (latest git) |
ossian
|
2023-07-31 03:39 (UTC) |
linux-apfs-rw-dkms-git
|
1:r298.3f9d529-1 |
13 |
0.76
|
Experimental APFS kernel module with Write support (DKMS) |
HurricanePootis
|
2024-04-02 03:35 (UTC) |
mapnik-git
|
4.0.0.rc1.r19.g6e81004-1 |
5 |
0.76
|
Free Toolkit for developing mapping applications. Above all Mapnik is about rendering beautiful maps (git version) |
FritzOnFire
|
2024-04-25 15:07 (UTC) |
opentabletdriver-git
|
v0.7.0.0pre.r786.gf14a184f-2 |
17 |
0.75
|
A cross-platform open source tablet driver |
gonX
|
2024-03-21 23:47 (UTC) |
g15composer
|
3.4-3 |
2 |
0.75
|
A library to render text and shapes into a buffer usable by the Logitech G15 |
orphan
|
2022-05-14 19:17 (UTC) |
pce-git-no-rom
|
pce.0.2.2.789.g5a67b2a9-1 |
1 |
0.75
|
PCE is a collection of microcomputer emulators |
InstallerLegacy
|
2024-04-15 08:35 (UTC) |
bapctools-git
|
r1310.16e23ee-1 |
3 |
0.75
|
Tools for developing ICPC-style programming contest problems. |
rgrootkoerkamp
|
2023-03-13 16:08 (UTC) |
transcrypt
|
2.2.3-3 |
2 |
0.75
|
A script to configure transparent encryption of files within a Git repository |
atomicfs
|
2023-08-11 11:01 (UTC) |
mdbook-rss-git
|
8.dc948c6-2 |
1 |
0.75
|
A preprocessor for mdbook to generate an RSS feed from your chapters |
atomicfs
|
2024-02-28 09:21 (UTC) |
zathura-pywal-git
|
r25.e9973b8-1 |
1 |
0.75
|
Scripts that dynamically theme zathura based on colors set by pywal. |
zsiedlecki
|
2023-02-06 17:45 (UTC) |
zenpower3-dkms-git
|
69.c176fdb-1 |
4 |
0.75
|
Linux kernel driver for reading sensors for AMD Zen family CPUs |
dodecahedron
|
2023-06-13 00:56 (UTC) |
egl-wayland-git
|
1.1.9.r2.gdaab854-1 |
9 |
0.75
|
EGLStream-based Wayland external platform (git version) |
dbermond
|
2021-10-29 17:22 (UTC) |
k380-function-keys-conf
|
1.1-1 |
3 |
0.75
|
Make function keys on Logitech K380 bluetooth keyboard default |
orphan
|
2020-05-30 15:17 (UTC) |
cmix-git
|
20.r10.g3cf2d2f-1 |
1 |
0.75
|
lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory usage |
RiverOnVenus
|
2024-04-14 08:46 (UTC) |
badvpn-git
|
r1950.07268f0-1 |
2 |
0.75
|
NCD scripting language, tun2socks proxifier, P2P VPN |
alllexx88
|
2024-04-18 10:33 (UTC) |
daed-edge-git
|
v0.4.0rc1.r488.187.684-1 |
1 |
0.75
|
A modern dashboard for dae, bundled with latest dae-wing (backend API server) and dae (core). |
Eikano
|
2024-04-14 18:21 (UTC) |
vmlinux-to-elf-git
|
r88.b407a46-1 |
1 |
0.75
|
This tool allows to obtain a fully analyzable .ELF file from a vmlinux/vmlinuz/bzImage/zImage kernel image, with recovered function and variable symbols. |
kalex
|
2023-08-05 10:49 (UTC) |
dnslookup-git
|
1:1.10.0.r1.gbbd6081-1 |
3 |
0.75
|
Simple command line utility to make DNS lookups to the specified server |
RiverOnVenus
|
2024-04-14 08:46 (UTC) |
visicut-git
|
2.0.r7.g4054819-1 |
1 |
0.75
|
A user-friendy, platform-independent tool for preparing, saving and sending jobs to laser cutters. |
Visne
|
2024-04-12 15:44 (UTC) |
amber-search-git
|
v0.6.0.38.gf6e0-1 |
3 |
0.75
|
A code search and replace tool written in Rust. Inspired by ack, ag, and grep. |
wooptoo
|
2024-04-17 13:37 (UTC) |
talecast-git
|
r102.885ea21-2 |
1 |
0.75
|
Simple CLI podcatcher |
rukh-debug
|
2024-04-17 17:00 (UTC) |
candle2-git
|
V2.4.r15.da0155d.40.d41d8cd-1 |
2 |
0.75
|
GRBL and GRBL-Advanced controller application with G-Code visualizer written in Qt - git version |
rjahanbakhshi
|
2023-07-13 05:28 (UTC) |
ollama-cuda-git
|
0.1.30.gc2712b55-1 |
1 |
0.75
|
Create, run and share large language models (LLMs) with CUDA |
sr.team
|
2024-04-01 12:42 (UTC) |
wlsunset-git
|
0.1.0.r0.0569fb4-1 |
11 |
0.75
|
Day/night gamma adjustments for Wayland |
kozak-iv
|
2020-11-02 06:17 (UTC) |
worddle-git
|
1.0.r38.3826592-1 |
1 |
0.75
|
Wordle is a web-based word game developed by Josh Wardle. This wrapper written in Qt removes all bloat by NYT from the game. |
keshavnrj
|
2022-06-19 08:22 (UTC) |
wl-colorpicker-plasma-git
|
r1.1ffb924-1 |
1 |
0.75
|
A standalone color picker for Wayland and KDE Plasma. |
thedidek
|
2024-03-12 00:07 (UTC) |
squeekboard-git
|
1.38.0.r17.g74c099d-1 |
2 |
0.75
|
Virtual keyboard supporting Wayland, built primarily for the Librem 5 phone |
TrialnError
|
2024-04-17 19:10 (UTC) |
dracut-colors-git
|
3.60cdf04-1 |
1 |
0.75
|
dracut hook to set VT console colors during early userspace |
mxfm
|
2024-04-21 18:59 (UTC) |