domjudge-docs
|
7.0.2-1 |
1 |
0.00
|
an automated judge system to run programming contests |
ss1h2a3tw
|
2019-06-18 04:53 (UTC) |
mate-tweak
|
22.10.0-3 |
39 |
0.01
|
Tweak tool for MATE (fork of MintDesktop) |
sradjoker
|
2022-10-15 02:55 (UTC) |
synthclone-qt5-git
|
0.3.0.r19.gd8dab9e-1 |
0 |
0.00
|
A tool to automate sampling of MIDI-capable instruments (QT5 port, git version) |
SpotlightKid
|
2022-04-29 12:42 (UTC) |
synthclone
|
0.3.0-2 |
2 |
0.00
|
A tool to automate sampling of MIDI-capable instruments. |
SpotlightKid
|
2017-08-28 10:06 (UTC) |
jbofihe-git
|
2:0.40-1 |
3 |
0.00
|
Tools to operate on Lojban text (main feature: approximate translation to English). |
spider-mario
|
2016-09-07 18:11 (UTC) |
cairo-dock-git
|
3.4.1-1 |
47 |
0.00
|
Light eye-candy fully themable animated dock |
sperg512
|
2021-12-14 19:34 (UTC) |
mintmenu
|
6.1.7-1 |
2 |
0.00
|
Mint Menu for MATE |
SolarAquarion
|
2024-04-25 17:20 (UTC) |
prover9
|
2009.11A-3 |
8 |
0.00
|
Prover9 is an automated theorem prover for first-order and equational logic |
soimort
|
2021-04-25 10:51 (UTC) |
vapoursynth-plugin-templinearapproximate-git
|
3.6.g604688d-1 |
1 |
0.00
|
Plugin for Vapoursynth: templinearapproximate (GIT version) |
sl1pkn07
|
2022-03-13 17:28 (UTC) |
topmenu-gtk
|
0.3-1 |
5 |
0.00
|
Gtk+ module and Mate/Xfce panel applets for a global menubar |
skylee
|
2020-01-23 07:23 (UTC) |
qt5-backgroundprocess
|
1.6.0-2 |
0 |
0.00
|
A Library to create background applications with simple, automated foreground control |
Skycoder42
|
2017-12-02 11:08 (UTC) |
qt5-apng-plugin
|
1.1.1-2 |
4 |
0.00
|
An apng image plugin for Qt to support animated PNGs |
Skycoder42
|
2019-12-27 11:02 (UTC) |
plata-theme
|
0.9.9-1 |
27 |
0.00
|
A Gtk+ theme based on Material Design Refresh |
skipbarker
|
2020-10-08 17:53 (UTC) |
rasa
|
3.6.0-1 |
0 |
0.00
|
Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants |
skeilnet
|
2023-06-15 17:46 (UTC) |
yanshi-git
|
0.57.9d86e63-1 |
0 |
0.00
|
A regular language recognizer generater like Ragel, enhanced with features to approximate context-free grammars and substring grammars |
SilverRainZ
|
2017-11-20 01:30 (UTC) |
zrythm-git
|
2:4.13.31.r9.g472e168fc-1 |
6 |
0.00
|
a highly automated and intuitive digital audio workstation |
silverhikari
|
2023-11-29 00:30 (UTC) |
bibata-cursor-translucent
|
1.1.2-1 |
5 |
0.87
|
Translucent Material Based Cursor Theme. |
silicasandwhich
|
2022-10-08 17:37 (UTC) |
ubuntu-mate-icon-themes
|
23.04.1-1 |
2 |
0.00
|
The official icon themes for Ubuntu MATE |
Sich
|
2024-02-07 08:40 (UTC) |
material-black-colors-theme
|
1-1 |
0 |
0.00
|
GTK2/3 themes |
showipatlogon
|
2021-02-18 02:17 (UTC) |
vimix-gtk-themes-translucent-git
|
r553.cc919536-1 |
0 |
0.00
|
A flat Material Design theme for GTK 3, GTK 2 and Gnome-Shell, translucent version |
Sherlock-Holo
|
2023-08-16 14:53 (UTC) |
canta-gtk-theme-git
|
2021.09.08.r6.332fdec-1 |
13 |
0.00
|
Flat Material Design theme for GTK 3, GTK 2 and Gnome-Shell |
Sherlock-Holo
|
2022-03-02 04:03 (UTC) |
bibata-cursor-theme
|
2.0.6-1 |
64 |
1.62
|
Material Based Cursor Theme |
Shatur
|
2024-01-25 15:39 (UTC) |
ultimate-doom-data-steam
|
1-1 |
0 |
0.00
|
The Ultimate Doom data via Steam |
sgsaenger
|
2019-03-31 12:08 (UTC) |
fasttree
|
2.1.11-1 |
3 |
0.00
|
Approximately-Maximum-Likelihood Trees for Large Alignments |
semi
|
2019-09-20 19:21 (UTC) |
vibrantlinux
|
2.1.10-1 |
5 |
0.10
|
A tool to automate managing your screen's saturation depending on what programs are running |
Scrumplex
|
2022-05-10 19:36 (UTC) |
vim-copilot-git
|
1.9.0.r0.g98c2939-1 |
0 |
0.00
|
(Neo)Vim plugin for GitHub Copilot automated code completion. Requires a subscription. |
Score_Under
|
2023-06-25 10:17 (UTC) |
fakeaur
|
V3-3 |
0 |
0.00
|
Edit names and descriptions of AUR packages. Meme mates with nani or btwiusearch |
schrmh
|
2023-03-17 09:36 (UTC) |
bats-core-git
|
v1.2.1.r16.gda118fd-1 |
2 |
0.00
|
Bash Automated Testing System |
schra
|
2020-08-03 01:10 (UTC) |
referencer
|
1.2.2-8 |
8 |
0.00
|
a Gnome application to organise documents or references, and ultimately generate a BibTeX bibliography file |
schnecki
|
2024-02-04 20:53 (UTC) |
tmux-xpanes
|
4.1.4-1 |
9 |
0.01
|
Create multiple panes with ultimate terminal divider. |
SanskritFritz
|
2023-04-04 07:45 (UTC) |
cl-shop2
|
2.9.0-1 |
1 |
0.00
|
SHOP (Simple Hierarchical Ordered Planner) is a domain-independent automated-planning system that is based on ordered task decomposition, which is a type of Hierarchical Task Network (HTN) planning |
Sandmann
|
2015-06-27 13:50 (UTC) |
flmsg
|
4.0.23-1 |
5 |
0.00
|
Forms management editor for Amateur Radio standard message formats |
salcedo
|
2024-03-21 01:52 (UTC) |
flamp
|
2.2.11-1 |
3 |
0.00
|
A program for the Amateur Multicast Protocol |
salcedo
|
2024-03-21 01:51 (UTC) |
moorestech
|
dev_v2.0.0-1 |
0 |
0.00
|
OSS automated industrial game developed in Unity. |
sakastudio
|
2023-08-25 10:44 (UTC) |
vim-lightline-gruvbox-material-git
|
1.2.0.r12.g8c5607c-1 |
2 |
0.00
|
gruvbox-material color scheme for lightline |
sainnhe
|
2021-02-15 09:59 (UTC) |
vim-gruvbox-material-git
|
1.2.0.r12.g8c5607c-1 |
2 |
0.00
|
Gruvbox with Material Palette |
sainnhe
|
2021-02-15 09:59 (UTC) |
vim-edge-git
|
0.1.3.r4.g3231c16-1 |
0 |
0.00
|
Clean & Elegant Color Scheme inspired by Atom One and Material |
sainnhe
|
2021-02-15 09:58 (UTC) |
vim-airline-gruvbox-material-git
|
1.2.0.r12.g8c5607c-1 |
2 |
0.00
|
gruvbox-material color scheme for airline |
sainnhe
|
2021-02-15 09:59 (UTC) |
neovim-lightline-gruvbox-material-git
|
1.2.0.r12.g8c5607c-1 |
3 |
0.00
|
gruvbox-material color scheme for lightline |
sainnhe
|
2024-03-01 15:10 (UTC) |
neovim-gruvbox-material-git
|
1.2.0.r12.g8c5607c-1 |
3 |
0.00
|
Gruvbox with Material Palette |
sainnhe
|
2024-03-01 15:10 (UTC) |
neovim-edge-git
|
0.1.3.r4.g3231c16-1 |
0 |
0.00
|
Clean & Elegant Color Scheme inspired by Atom One and Material |
sainnhe
|
2021-02-15 09:59 (UTC) |
neovim-airline-gruvbox-material-git
|
1.2.0.r12.g8c5607c-1 |
3 |
0.00
|
gruvbox-material color scheme for airline |
sainnhe
|
2024-03-01 15:10 (UTC) |
gruvbox-material-icon-theme-git
|
r14.cc255d43-1 |
8 |
0.01
|
Gruvbox Material icon theme |
sainnhe
|
2023-09-21 09:41 (UTC) |
gruvbox-material-gtk-theme-git
|
r14.cc255d43-1 |
8 |
0.01
|
Gruvbox Material theme for GTK, Gnome, Cinnamon, XFCE, Unity and Plank |
sainnhe
|
2023-09-21 09:41 (UTC) |
matebook-applet
|
3.1.0-1 |
6 |
0.00
|
System tray applet/control app for Huawei Matebook |
Sacro
|
2023-05-05 12:34 (UTC) |
pathvector
|
6.3.2-2 |
0 |
0.00
|
declarative edge routing platform that automates route optimization and control plane configuration with secure and repeatable routing policy |
RX14
|
2023-06-27 22:09 (UTC) |
filebot
|
5.1.3-3 |
138 |
0.46
|
The ultimate TV and Movie Renamer |
rvasilev
|
2024-03-30 19:38 (UTC) |
megasync-bin
|
5.2.0-2 |
30 |
3.96
|
Easy automated syncing between your computers and your MEGA cloud drive |
rpanerai
|
2024-03-19 16:32 (UTC) |
minetest-build-n-buy
|
2022.08.16-1 |
1 |
0.00
|
A game inspired by Minecraft Championship's Build Mart, where you have to replicate mini build and to get the materials for them, you have to go 'shopping'. |
ROllerozxa
|
2022-10-15 14:06 (UTC) |
plata-theme-bin
|
0.9.9-1 |
1 |
0.00
|
A Gtk theme based on Material Design Refresh (PPA package) |
rodrigofarias77
|
2020-10-08 18:49 (UTC) |