proofgeneral
|
4.5-4 |
23 |
0.00
|
Generic interface for proof assistants. |
gilcu3
|
2022-09-26 07:42 (UTC) |
perl-conf-libconfig
|
0.101-1 |
0 |
0.00
|
Conf::Libconfig Perl extension for libconfig |
gilcu3
|
2022-09-20 15:31 (UTC) |
open-numismat
|
1.9.6-1 |
1 |
0.00
|
Coin collecting software to organize and manage your own coin catalogue. |
gilcu3
|
2024-02-26 17:32 (UTC) |
mythes-lb
|
2.1-1 |
0 |
0.00
|
Luxembourguish thesaurus |
gilcu3
|
2024-02-22 09:37 (UTC) |
limboole
|
1.2-2 |
0 |
0.00
|
A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. |
gilcu3
|
2022-09-05 10:19 (UTC) |
iverilog-git
|
s20150603.r1490.g0a86773c5-1 |
2 |
0.00
|
Icarus Verilog simulation and synthesis tool |
gilcu3
|
2022-05-02 09:06 (UTC) |
hunspell-lb
|
2.1-1 |
0 |
0.00
|
Luxembourguish hunspell dictionary |
gilcu3
|
2024-02-22 09:37 (UTC) |
gpodder2go-git
|
0.1.2.r43.20c230d-1 |
0 |
0.00
|
simple self-hosted, drop-in replacement for gpodder/mygpo |
gilcu3
|
2024-03-04 15:30 (UTC) |
gcc-msp430
|
4.6.3-1 |
2 |
0.00
|
GNU toolchain for the TI MSP430 processor |
gilcu3
|
2017-05-22 21:17 (UTC) |
flatter-git
|
0.1-1 |
1 |
0.12
|
flatter is a library for performing (f)ast (lat)tice (r)eduction of integer lattice bases |
gilcu3
|
2023-11-04 12:02 (UTC) |
desproxy
|
0.1.1-1 |
0 |
0.00
|
TCP tunnel for HTTP proxies |
gilcu3
|
2017-10-06 19:28 (UTC) |
cudnn8-cuda11.1
|
8.0.5.39-1 |
0 |
0.00
|
NVIDIA CUDA Deep Neural Network library |
gilcu3
|
2023-11-04 11:13 (UTC) |
conf2struct-git
|
1.5.r0.g6bc9eed-1 |
0 |
0.00
|
conf2struct takes a configuration file that describes a configuration file in the libconfig format, and generates a C parser that will read a configuration file directly into a C structure |
gilcu3
|
2022-09-20 15:29 (UTC) |
browsh-bin
|
1.8.2-1 |
50 |
0.07
|
A fully-modern text-based browser, rendering to TTY and browsers |
gilcu3
|
2023-09-18 07:49 (UTC) |
browsh
|
1.8.3-1 |
32 |
1.00
|
A fully-modern text-based browser, rendering to TTY and browsers |
gilcu3
|
2024-02-23 13:14 (UTC) |
bombsquad-server
|
1.7.34-1 |
0 |
0.00
|
An explosive arcade-style party game, local server |
gilcu3
|
2024-04-25 12:04 (UTC) |
addr-book-combine-git
|
r9.11696f4-1 |
0 |
0.00
|
Combine multiple aerc-style address books into a single address book, with de-duplication and smart sorting. |
gilcu3
|
2024-04-25 12:01 (UTC) |
rss-bridge-git
|
2023.03.22.r61.g0a8fe570-2 |
3 |
0.04
|
The RSS feed for websites missing it |
gilbus
|
2023-07-06 17:53 (UTC) |
rss-bridge
|
2024_02_02-1 |
3 |
0.00
|
The RSS feed for websites missing it |
gilbus
|
2024-02-13 21:48 (UTC) |
python-xdg-base-dirs
|
6.0.1-1 |
7 |
1.01
|
An implementation of the XDG Base Directory Specification in Python |
gilbus
|
2023-11-15 16:20 (UTC) |
potoo
|
0.1.0-1 |
0 |
0.00
|
Markdown presentation tool build on top of textual |
gilbus
|
2023-07-15 21:19 (UTC) |
frogmouth
|
0.9.1-1 |
2 |
0.00
|
A Markdown browser for your terminal |
gilbus
|
2023-11-03 18:44 (UTC) |
freecad-assembly3-appimage
|
2024.04.07-2 |
3 |
0.65
|
Assembly3 workbench for FreeCAD. |
gilbs
|
2024-04-10 15:36 (UTC) |
fleet-orbit
|
1.24.0-1 |
1 |
0.00
|
Eases the deployment of osquery connected with a Fleet server. |
gilbs
|
2024-04-18 04:08 (UTC) |
dell-bios-fan-control-git
|
r5.2700610-5 |
11 |
0.03
|
A user space utility to set control of fans by bios on some Dell XPS Laptops. |
gilbs
|
2023-10-05 08:26 (UTC) |
roficlip
|
0.1.3-2 |
1 |
0.00
|
A simple shell script that surfaces clipboard history from clipster in Rofi |
gilbertw1
|
2017-09-14 01:20 (UTC) |
mpwc
|
0.1.0-1 |
0 |
0.00
|
A simple and flexible Master Password CLI client |
gilbertw1
|
2017-10-25 18:06 (UTC) |
drop
|
0.3.3-4 |
0 |
0.00
|
A simple screenshot, screencast, and file upload tool with S3 support |
gilbertw1
|
2021-07-08 18:08 (UTC) |
wowup-cf-bin
|
1:2.11.1-2 |
1 |
0.00
|
WowUp the World of Warcraft addon updater (with CurseForge support) |
Gigas002
|
2024-04-18 14:25 (UTC) |
wowup-bin
|
2.10.0-1 |
1 |
0.00
|
WowUp the World of Warcraft addon updater |
Gigas002
|
2023-08-11 03:14 (UTC) |
vcmi
|
1.4.5-1 |
46 |
0.60
|
Open-source engine for Heroes of Might and Magic III |
Gigas002
|
2024-01-25 11:54 (UTC) |
vangers-git
|
r714.fb18b93-3 |
0 |
0.00
|
The video game that combines elements of the racing and role-playing genres |
Gigas002
|
2024-01-17 12:49 (UTC) |
sweet-cursors-hyprcursor-git
|
r365.836b486-2 |
0 |
0.00
|
Sweet cursor theme for hyprcursor |
Gigas002
|
2024-04-21 12:32 (UTC) |
qimgv-qt6-kde-git
|
v1.0.3.alpha.r105.g70dc0ef-3 |
10 |
0.88
|
Qt6 image viewer. Fast, configurable, easy to use. Supports video playback. |
Gigas002
|
2024-03-20 04:57 (UTC) |
poi-nightly-bin
|
11.0.0.beta.5.8461-2 |
0 |
0.00
|
Scalable KanColle browser and tool |
Gigas002
|
2024-01-17 12:18 (UTC) |
plasma5-themes-sweet-kde-git
|
r24.9e36d3a-4 |
3 |
0.00
|
Sweet KDE Plasma theme |
Gigas002
|
2023-10-29 01:05 (UTC) |
plasma5-themes-sweet-full-git
|
r327.8bb5040-1 |
5 |
0.01
|
Sweet KDE Plasma theme |
Gigas002
|
2023-10-29 01:03 (UTC) |
grub-customizer-git
|
r785.8408d98-1 |
0 |
0.00
|
A graphical grub2 settings manager (git version) |
Gigas002
|
2023-02-14 15:35 (UTC) |
fuzzylite-git
|
r1042.9e47f8ac-1 |
2 |
0.14
|
C++ fuzzy logic control library |
Gigas002
|
2024-01-19 13:09 (UTC) |
docfx-git
|
r4367.0f4a61eb87-1 |
0 |
0.00
|
Tools for building and publishing API documentation for .NET projects |
Gigas002
|
2023-04-08 08:59 (UTC) |
clunk-vangers-git
|
r148.6d4cbbe-6 |
0 |
0.00
|
Vangers fork of clunk library |
Gigas002
|
2024-01-17 12:35 (UTC) |
carbonyl-bin
|
0.0.3-2 |
11 |
0.29
|
Chromium-based browser built to run in a terminal |
Gigas002
|
2023-03-09 13:05 (UTC) |
wfinfo-ng-git
|
0.1.0.105.gd5e7c43-1 |
0 |
0.00
|
Analyze Warframe relic reward screen to determine platinum value of items. |
gigamicro
|
2024-04-17 19:50 (UTC) |
sooperlooper-git
|
r549.0cf3001-1 |
3 |
0.14
|
Live looping sampler capable of immediate loop recording. Built from git. |
Gigadoc2
|
2022-07-18 23:45 (UTC) |
xdg-desktop-portal-wlr-artix
|
0.6.0-1 |
1 |
0.00
|
xdg-desktop-portal backend for wlroots, build without systemd |
gigablaster
|
2022-09-28 19:22 (UTC) |
greetd-artix-runit
|
0.8.0-3 |
0 |
0.00
|
Generic greeter daemon, packaged for artix-runit |
gigablaster
|
2022-05-18 19:01 (UTC) |
xci2nsp-git
|
1.0.0.1.r1.g87b08da-1 |
0 |
0.00
|
XCI to NSP converter |
giga300
|
2019-06-15 17:33 (UTC) |
4nxci-git
|
v4.03.r2.g33044e6-1 |
1 |
0.04
|
4NXCI is a tool for converting XCI(NX Card Image) files to NSP |
giga300
|
2019-07-01 09:40 (UTC) |
4nxci-bin
|
v4.03-1 |
0 |
0.00
|
4NXCI is a tool for converting XCI(NX Card Image) files to NSP |
giga300
|
2019-07-01 09:48 (UTC) |
souko-bin
|
0.2.0-1 |
0 |
0.00
|
Provides an easy way to organize clones of remote git repositories |
gifnksm
|
2023-09-17 23:58 (UTC) |