python-black-git
|
24.4.2.r3.g0c033f3e-1 |
1 |
0.00
|
Uncompromising Python code formatter |
gilcu3
|
2024-04-30 07:22 (UTC) |
psiphon-tunnel-core-git
|
3:2.0.30.r3959.b77cd6ee-1 |
0 |
0.00
|
Psiphon Tunnelling Proxy |
gilcu3
|
2024-04-01 17:59 (UTC) |
proverif
|
2.05-1 |
3 |
0.00
|
Cryptographic protocol verifier in the formal model |
gilcu3
|
2024-05-19 09:59 (UTC) |
proofgeneral-git
|
4.5.r9313.c304d73e-1 |
1 |
0.00
|
Generic interface for proof assistants |
gilcu3
|
2022-09-26 07:45 (UTC) |
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) |
k2pdfopt
|
2.55-2 |
49 |
0.00
|
Tool for optimizing PDF/DJVU files for mobile e-readers and smartphones. |
gilcu3
|
2024-05-28 15:01 (UTC) |
iverilog-git
|
s20150603.r1490.g0a86773c5-1 |
2 |
0.00
|
Icarus Verilog simulation and synthesis tool |
gilcu3
|
2022-05-02 09:06 (UTC) |
iozone
|
3.506-2 |
28 |
0.00
|
A filesystem benchmark tool |
gilcu3
|
2024-05-03 11:32 (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) |
ggnfs-svn
|
441-5 |
3 |
0.00
|
GGNFS is an open source implementation of General Number Field Sieve algorithm for factoring integers. |
gilcu3
|
2024-05-31 15:48 (UTC) |
ggnfs-lasieve4e-x86_64-svn
|
441-5 |
3 |
0.00
|
lasieve4e is a lattice siever for GGNFS by Jens Franke and T. Kleinjung. |
gilcu3
|
2024-05-31 15:48 (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.04
|
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.02
|
A fully-modern text-based browser, rendering to TTY and browsers |
gilcu3
|
2023-09-18 07:49 (UTC) |
browsh
|
1.8.3-1 |
32 |
0.32
|
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) |
afick-gui
|
3.8.0-1 |
6 |
0.00
|
A security tool similar to tripwire with tk GUI |
gilcu3
|
2024-04-30 11:28 (UTC) |
afick
|
3.8.0-1 |
6 |
0.00
|
A security tool similar to tripwire |
gilcu3
|
2024-04-30 11:28 (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.01
|
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 |
0.32
|
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) |
riscv64-gnu-toolchain-glibc-llvm-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv64 Linux, including GCC and clang. |
gilbs
|
2024-05-23 11:53 (UTC) |
riscv64-gnu-toolchain-glibc-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv64 Linux, including GCC. |
gilbs
|
2024-05-23 12:02 (UTC) |
riscv64-gnu-toolchain-elf-llvm-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv64 ELF, including GCC and clang. |
gilbs
|
2024-05-23 12:00 (UTC) |
riscv64-gnu-toolchain-elf-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv64 ELF, including GCC. |
gilbs
|
2024-05-23 12:01 (UTC) |
riscv32-gnu-toolchain-glibc-llvm-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv32 Linux, including GCC and clang. |
gilbs
|
2024-05-23 11:59 (UTC) |
riscv32-gnu-toolchain-glibc-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv32 Linux, including GCC. |
gilbs
|
2024-05-23 11:58 (UTC) |
riscv32-gnu-toolchain-elf-llvm-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv32 ELF, including GCC and clang. |
gilbs
|
2024-05-23 11:57 (UTC) |
riscv32-gnu-toolchain-elf-bin
|
2024.04.12-5 |
0 |
0.00
|
GNU toolchain for riscv32 ELF, including GCC. |
gilbs
|
2024-05-23 11:56 (UTC) |
riscv-gnu-toolchain-bin
|
2024.04.12-2 |
5 |
0.58
|
Meta-package for a pre-compiled GNU toolchain for riscv32 and riscv64, linux and ELF. |
gilbs
|
2024-05-22 00:55 (UTC) |
freecad-assembly3-appimage
|
2024.04.07-2 |
4 |
0.86
|
Assembly3 workbench for FreeCAD. |
gilbs
|
2024-04-10 15:36 (UTC) |
fleet-orbit
|
1.26.0-1 |
1 |
0.00
|
Eases the deployment of osquery connected with a Fleet server. |
gilbs
|
2024-06-12 02:06 (UTC) |
dell-bios-fan-control-git
|
r5.2700610-5 |
12 |
0.38
|
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.12.0-3 |
1 |
0.00
|
WowUp the World of Warcraft addon updater (with CurseForge support) |
Gigas002
|
2024-05-08 16:44 (UTC) |
wowup-bin
|
2.12.0-1 |
2 |
0.65
|
WowUp the World of Warcraft addon updater |
Gigas002
|
2024-05-26 13:57 (UTC) |
vcmi
|
1.5.2-1 |
48 |
1.17
|
Open-source engine for Heroes of Might and Magic III |
Gigas002
|
2024-05-31 11:58 (UTC) |