z3-stable-git
|
4.8.4.g05663592e-1 |
0 |
0.00
|
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) |
Ice_Phoenix
|
2019-03-12 14:50 (UTC) |
wxbase3.0
|
3.0.5.1-1 |
0 |
0.00
|
wxWidgets base libraries for no X install (3.0 branch stable version) |
izenin
|
2023-06-22 21:42 (UTC) |
wxbase
|
3.2.2.1-1 |
7 |
0.00
|
wxWidgets base libraries for no X install (3.x branch stable version) |
izenin
|
2023-04-25 20:31 (UTC) |
wlroots-hidpi-xprop
|
0.17.3-2 |
1 |
0.04
|
Modular Wayland compositor library (stable, with patches) |
kode54
|
2024-05-04 23:21 (UTC) |
wl-ime-type-git
|
r5.9b8eef023524-1 |
0 |
0.00
|
Type text via Wayland's input-method-unstable-v2 protocol |
emersion
|
2022-07-07 18:59 (UTC) |
wingpanel-indicator-privacy-stable-git
|
r132.3a53a9c-1 |
0 |
0.00
|
The Privacy indicator watches for usage of the camera or location services and displays a tattle-taling camera and/or location icon in the panel when they are being used. This package uses wingpanel and granite in stable versions |
btd1337
|
2020-10-11 05:02 (UTC) |
wine-stable-next
|
9.0rc3-1 |
3 |
0.00
|
A compatibility layer for running Windows programs |
chungy
|
2023-12-23 20:32 (UTC) |
wine-stable-mono
|
8.1.0-1 |
3 |
0.00
|
Wine’s built-in replacement for Microsoft’s .NET Framework (for wine-stable) |
chungy
|
2024-02-13 19:51 (UTC) |
wine-stable
|
9.0-2 |
34 |
0.04
|
A compatibility layer for running Windows programs |
chungy
|
2024-02-13 19:52 (UTC) |
wesnoth-1.12
|
1.12.6+dev-13 |
0 |
0.00
|
Turn-based strategy game on a fantasy world (oldstable) |
Singularity
|
2022-06-18 05:34 (UTC) |
webkit2gtk-unstable
|
2.45.2-1 |
4 |
0.00
|
Web content engine for GTK |
xiota
|
2024-05-15 03:45 (UTC) |
virtualbox6-ext-oracle
|
6.1.x-5 |
1 |
0.00
|
Oracle VM VirtualBox Extension Pack 6.1.48 (stable) |
pa314159
|
2023-12-05 23:33 (UTC) |
vikunja-desktop-bin
|
0.23.0-3 |
0 |
0.00
|
The open-source, self-hostable to-do app.Organize everything, on all platforms. |
zxp19821005
|
2024-03-22 05:44 (UTC) |
veloren-bin
|
0.15.0-1 |
7 |
0.37
|
The last stable release of an open-world, open-source multiplayer voxel RPG |
Mckol
|
2023-12-07 23:24 (UTC) |
veloren
|
0.15.0-1 |
23 |
0.20
|
The last stable release of an open-world, open-source multiplayer voxel RPG. |
Mckol
|
2023-07-01 10:31 (UTC) |
v2ray-desktop
|
2.3.1-1 |
7 |
0.00
|
A cross-platform GUI proxy client that supports Shadowsocks(R), V2Ray, and Trojan protocols (Stable Release) |
Dr-Incognito
|
2022-02-05 02:23 (UTC) |
unluac-unstable
|
2021_02_01b-1 |
0 |
0.00
|
(unstable) a decompiler for Lua 5.1 |
orphan
|
2021-02-08 12:34 (UTC) |
tor-unstable
|
0.4.8.11-1 |
11 |
0.69
|
Anonymizing overlay network (with alpha/beta/rc) |
KokaKiwi
|
2024-04-10 22:52 (UTC) |
tinyuml
|
0.13_02-4 |
22 |
0.00
|
A tool for creation of UML 2 diagrams with a focus on easy use and a small & stable feature set |
orphan
|
2015-07-07 11:57 (UTC) |
tinyfugue4-stable
|
4.0s1-3 |
0 |
0.00
|
flexible, screen-oriented MUD client, for use with any type of MUD |
orphan
|
2022-04-18 22:33 (UTC) |
tin-unstable
|
2.3.4-1 |
4 |
0.00
|
A threaded NNTP and spool based UseNet newsreader. |
aksr
|
2016-09-12 20:12 (UTC) |
tea-qt-git
|
63.0.2.r0.ga7f7e00-2 |
1 |
0.00
|
Rich-featured text editor for Linux, *BSD, Windows, OS/2, Mac and Haiku OS. Stable git-commit. |
semiletov
|
2024-05-19 19:27 (UTC) |
tara
|
0.5.0-1 |
1 |
0.00
|
Tara is a modern, free, open-source, self-hostable Discord bot |
Decator_TheONLY
|
2023-06-12 22:26 (UTC) |
tailscale-unstable-bin
|
1.67.9-1 |
3 |
0.00
|
A mesh VPN that makes it easy to connect your devices, wherever they are. |
proledatarian
|
2024-05-12 17:36 (UTC) |
synergy3-stable-bin
|
v3.0.79.1-1 |
0 |
0.00
|
Share a single mouse and keyboard between multiple computers |
jonstelly
|
2024-02-13 00:47 (UTC) |
synergy-1.6
|
1.6.3-2 |
12 |
0.00
|
Synergy upstream 1.6 branch. 1.7.x is very unstable on Linux. |
orphan
|
2022-09-16 05:16 (UTC) |
sxemacs
|
22.1.17-2 |
0 |
0.00
|
A derivation of xemacs - stable version |
orphan
|
2021-02-17 20:31 (UTC) |
swi-prolog-git
|
7.2.2.r0.ge10fe28-1 |
4 |
0.00
|
Prolog environment (latest git stable version) |
orphan
|
2015-10-05 14:46 (UTC) |
supercell-wx-bin
|
0.2.2-1 |
4 |
0.04
|
A NEXRAD Level 2 and Level 3 radar viewing application (Stable Build) |
WXFanatic
|
2023-09-15 18:04 (UTC) |
sublime-text-4
|
4.4169-2 |
80 |
4.79
|
Sophisticated text editor for code, html and prose - stable build |
SunRed
|
2024-04-08 21:00 (UTC) |
stable-diffusion.cpp-hipblas-git
|
r108.48bcce4-1 |
2 |
0.13
|
Stable Diffusion in pure C/C++ (with AMD ROCm optimizations) |
robertfoster
|
2024-03-26 10:14 (UTC) |
stable-diffusion.cpp-git
|
r108.48bcce4-1 |
2 |
0.13
|
Stable Diffusion in pure C/C++ (with OPENBlas CPU optimizations) |
robertfoster
|
2024-03-26 10:14 (UTC) |
stable-diffusion.cpp-cublas-git
|
r108.48bcce4-1 |
2 |
0.13
|
Stable Diffusion in pure C/C++ (with NVIDIA CUDA optimizations) |
robertfoster
|
2024-03-26 10:14 (UTC) |
stable-diffusion-web-ui-git
|
v1.6.0.r2.4afaaf8a-1 |
6 |
0.46
|
Stable Diffusion Web UI (AUTOMATIC1111) |
bhill
|
2023-11-21 08:41 (UTC) |
stable-diffusion-ui
|
3.0.2-3 |
10 |
0.93
|
Easy Diffusion - A 1-click way to install & use Stable Diffusion on your own computer. |
orphan
|
2023-09-26 12:55 (UTC) |
stable-diffusion-intel-git
|
r44.20230213.f90e38a-1 |
0 |
0.00
|
Image generator that uses stable diffusion, vino (Intel CPU) and includes "txt2img". Latest Git checkout. |
orphan
|
2023-03-17 22:59 (UTC) |
stabilitymatrix
|
2.10.3-1 |
1 |
0.49
|
Multi-Platform Package Manager for Stable Diffusion |
let
|
2024-05-11 16:27 (UTC) |
ssmalloc-git
|
r11.47f69d4-1 |
1 |
0.00
|
A Low-latency, Locality-conscious Memory Allocator with Stable Performance Scalability |
anatolik
|
2015-06-17 15:53 (UTC) |
spacebar-git
|
r3678.6bf4637-1 |
1 |
0.00
|
Spacebar is a free, opensource selfhostable discord-compatible chat, voice and video platform |
orphan
|
2023-10-07 20:32 (UTC) |
soundux-git
|
1:r1432.fca05c9-2 |
3 |
0.00
|
A cross-platform soundboard - unstable development version |
D3SOX
|
2024-01-29 16:14 (UTC) |
soundux
|
0.2.7-3 |
18 |
0.18
|
A cross-platform soundboard - stable version |
D3SOX
|
2023-05-19 19:03 (UTC) |
sonixd-bin
|
0.15.5-2 |
1 |
0.00
|
The latest stable binary release of Sonixd - a full-featured Subsonic API compatible cross-platform desktop client |
kyckl1ng
|
2023-03-14 10:39 (UTC) |
solidity-git
|
0.5.0.20181110.9709dfe04-1 |
5 |
0.00
|
The Solidity Contract-Oriented Programming Language (latest unstable git version) |
ekpyron
|
2018-11-10 17:20 (UTC) |
solidarp-git
|
v0.3.0.r0.g7ab516f-1 |
0 |
0.00
|
A stable random arpeggiator VST3 plugin (git version) |
SpotlightKid
|
2023-12-07 17:32 (UTC) |
soft-serve-git
|
0.5.4.r1.gdb3bc9b-1 |
0 |
0.00
|
A tasty, self-hostable Git server for the command line |
Chocobo1
|
2023-05-20 14:27 (UTC) |
smodels
|
2.34-1 |
0 |
0.00
|
Implementation of the stable model semantics for logic programs |
Luker88
|
2015-11-09 20:11 (UTC) |
siyuan_stable
|
v3.0.15-0 |
1 |
0.87
|
auto upload to AUR when SiYuan stable release |
zxkmm_siyuan
|
2024-05-21 01:43 (UTC) |
sidekick-browser-stable-bin
|
122.60.1.40402-1 |
6 |
0.00
|
Sidekick is a revolutionary new work OS based on the Chromium browser. Designed to be the ultimate online work experience, it brings together your team and every web tool you use – all in one interface |
thienandangthanh
|
2024-05-23 07:21 (UTC) |
shtool
|
2.0.8-2 |
3 |
0.00
|
GNU shtool is a compilation of small but very stable and portable shell scripts into a single shell tool. |
tsipizic
|
2016-04-08 08:43 (UTC) |
sdsl-lite-v3-git
|
3.0.0.r2016.ecd007a-1 |
0 |
0.00
|
Succinct Data Structure Library 3.0(unstable,prerelease) |
orphan
|
2018-01-09 02:16 (UTC) |