lean-community
|
3.51.1-1 |
2 |
0.00
|
Lean Theorem Prover, maintained by the Lean community |
fanninpm
|
2023-06-04 02:32 (UTC) |
nodejs-tldr-git
|
r6279.178e6959a-1 |
4 |
0.00
|
Simplified and community-driven man pages (git version) |
FadeMind
|
2020-05-14 04:10 (UTC) |
lib32-gtest
|
1.14.0-1 |
1 |
0.00
|
Google Test - C++ testing utility based on the xUnit framework (like JUnit) |
FabioLolix
|
2023-12-23 15:55 (UTC) |
cinelerra-cv-git
|
2.3.r385.g7d0e8ede-2 |
0 |
0.00
|
Professional video editing and compositing environment - Community version |
FabioLolix
|
2021-03-01 14:47 (UTC) |
cinelerra-cv
|
2:2.3+380+gbbcaf2fa-1 |
5 |
1.02
|
Professional video editing and compositing environment - Community version |
FabioLolix
|
2021-03-01 14:15 (UTC) |
shunit-git
|
r43.1dc12c8-1 |
0 |
0.00
|
A basic unit testing framework for bash |
F0xedb
|
2019-08-25 14:46 (UTC) |
factorio-yafc-ce-git
|
0.7.0.0.g6391bb6-1 |
2 |
0.78
|
Yet Another Factorio Calculator (Community Edition): Powerful calculator/analyser that works with mods |
exyi
|
2024-05-29 12:52 (UTC) |
deepgit-preview
|
3.rc.2-1 |
0 |
0.00
|
A tool to investigate the history of source code. This is preview software intended to provide you with an opportunity to test-drive new builds of the next DeepGit release. |
ewirch
|
2017-09-19 13:10 (UTC) |
wowlan-systemd
|
20190906-1 |
1 |
0.00
|
A systemd unit file for enabling Wake-On-WLAN automatically |
etix
|
2019-09-06 00:34 (UTC) |
displaylink-runit
|
5.8-1 |
1 |
0.01
|
Linux driver for DL-6xxx, DL-5xxx, DL-41xx and DL-3x00 |
eric-dev
|
2023-11-03 15:44 (UTC) |
portmaster-runit
|
0.7.1-1 |
2 |
0.00
|
Portmaster runit service (does not include portmaster itself) |
EMPTY
|
2022-08-08 12:56 (UTC) |
php83-pecl
|
8.3.7-1 |
3 |
0.36
|
PHP Extension Community Library (PECL) for php83 |
el_aur
|
2024-05-24 12:09 (UTC) |
php82-pecl
|
8.2.19-1 |
3 |
0.01
|
PHP Extension Community Library (PECL) for php82 |
el_aur
|
2024-05-24 12:10 (UTC) |
php81-pecl
|
8.1.28-1 |
10 |
0.00
|
PHP Extension Community Library (PECL) for php81 |
el_aur
|
2024-04-18 17:53 (UTC) |
php74-pecl
|
7.4.33-6 |
11 |
0.75
|
PHP Extension Community Library (PECL) for php74 |
el_aur
|
2024-05-24 12:15 (UTC) |
php72-pecl
|
7.2.34-15 |
11 |
0.00
|
PHP Extension Community Library (PECL) for php72 |
el_aur
|
2024-03-27 14:58 (UTC) |
php56-pecl
|
5.6.40-11 |
49 |
0.81
|
PHP Extension Community Library (PECL) for php56 |
el_aur
|
2024-03-27 14:51 (UTC) |
inyokaedit-data-ubuntuusersde
|
0.28.1-1 |
1 |
0.00
|
ubuntuusers.de community files for InyokaEdit |
ElTh0r0
|
2024-04-01 13:12 (UTC) |
projectascension-git
|
r39abb56.157-1 |
3 |
0.00
|
Community-driven open source gaming client |
elken
|
2015-07-22 18:35 (UTC) |
projectascension-dev-git
|
rfb7a622.258-1 |
2 |
0.00
|
Community-driven open source gaming client |
elken
|
2015-07-22 18:40 (UTC) |
vim-gruvbox-community
|
2.2.0-1 |
1 |
0.00
|
gruvbox color scheme for vim |
ejiek
|
2020-05-23 15:43 (UTC) |
systemd-nvclock-unit
|
1.0-1 |
7 |
0.00
|
Apply nvclock fanspeed, GPU and memory clock settings with systemd |
edio
|
2015-07-06 15:13 (UTC) |
minecraft-server
|
1.21-1 |
165 |
2.18
|
Minecraft server unit files, script, and jar |
edh
|
2024-06-13 16:42 (UTC) |
socklog
|
2.1.0-2 |
3 |
0.00
|
Small and secure syslogd replacement for use with Runit |
eatmyvenom
|
2015-08-19 15:28 (UTC) |
crunch-test
|
1.1.1-1 |
0 |
0.00
|
crunch your code. Crunch is a unit testing framework written for C and C++. |
DX-MON
|
2020-10-06 22:42 (UTC) |
uenv-git
|
0.9.r0.gf7aeb07-1 |
3 |
0.00
|
Useful scripts, systemd timer/service units and their configuration |
dvzrv
|
2017-10-25 01:43 (UTC) |
uenv
|
0.10.0-1 |
3 |
0.00
|
Useful scripts, systemd timer/service units and their configuration |
dvzrv
|
2019-10-07 09:13 (UTC) |
crypted-backups-git
|
0.1.r11.gf07a4a2-3 |
1 |
0.00
|
Backup scripts using systemd timer/service units and gpg encryption |
dvzrv
|
2017-10-24 19:38 (UTC) |
dbus-broker-units-git
|
35.0.gb71a541-1 |
7 |
0.00
|
Linux D-Bus Message Broker - Service units |
dvdhrm
|
2024-01-10 11:49 (UTC) |
gtk-theme-united-archers-git
|
v2.2.r13.geb55c4c-1 |
1 |
0.00
|
GTK2/3 + GNOME Shell theme based on a Ubuntu 18.04 design concept. |
drxspace
|
2019-01-04 09:13 (UTC) |
libunity
|
7.1.4-15 |
14 |
0.07
|
Library for instrumenting and integrating with all aspects of the Unity shell |
drarig29
|
2022-04-13 21:34 (UTC) |
yaru-unity-theme
|
24.04.2-1 |
56 |
0.21
|
Yaru default ubuntu unity theme |
drakkan
|
2024-04-19 12:01 (UTC) |
ocaml-ounit
|
2.2.7-4 |
30 |
0.00
|
Unit testing framework for OCaml |
dpeukert
|
2024-06-02 18:07 (UTC) |
ocaml-duration
|
0.2.1-2 |
0 |
0.00
|
Conversions to various time units for OCaml |
dpeukert
|
2024-06-02 18:04 (UTC) |
mastodon
|
4.2.9-1 |
21 |
1.22
|
Your self-hosted, globally interconnected microblogging community |
dodecahedron
|
2024-05-30 22:45 (UTC) |
cpc-calc
|
1.8.0-3 |
1 |
0.00
|
Text calculator with support for units and conversion |
djmattyg007
|
2022-02-05 01:04 (UTC) |
grub-theme-unite-white-1440p-git
|
r14.8ccb1be-1 |
0 |
0.00
|
A collection of GRUB themes that was created inspired by the fictional hacker group DedSec from Ubisoft's Watch Dogs video game. |
devome
|
2024-04-10 07:21 (UTC) |
grub-theme-unite-white-1080p-git
|
r14.8ccb1be-1 |
0 |
0.00
|
A collection of GRUB themes that was created inspired by the fictional hacker group DedSec from Ubisoft's Watch Dogs video game. |
devome
|
2024-04-10 07:21 (UTC) |
grub-theme-unite-color-1440p-git
|
r14.8ccb1be-1 |
0 |
0.00
|
A collection of GRUB themes that was created inspired by the fictional hacker group DedSec from Ubisoft's Watch Dogs video game. |
devome
|
2024-04-10 07:21 (UTC) |
grub-theme-unite-color-1080p-git
|
r14.8ccb1be-1 |
0 |
0.00
|
A collection of GRUB themes that was created inspired by the fictional hacker group DedSec from Ubisoft's Watch Dogs video game. |
devome
|
2024-04-10 07:21 (UTC) |
rfled-server-git
|
r20.68cbf57-1 |
0 |
0.00
|
Golang binary to emulate a LimitlessLED WiFi Bridge 4.0 unit. |
der_ronny
|
2016-12-09 09:31 (UTC) |
phpunit5
|
5.7.26-1 |
2 |
0.00
|
PHPUnit is a programmer-oriented testing framework for PHP. This is the old stable version |
deraffe
|
2018-01-19 14:04 (UTC) |
i3blocks-contrib
|
2.0.0-1 |
16 |
1.00
|
Community-contributed blocklets for i3blocks |
denisse
|
2021-06-05 20:47 (UTC) |
xray-domain-list-community
|
20240614093027-1 |
1 |
0.43
|
A list of domains to be used as geosites for routing purpose in Project V |
dctxmei
|
2024-06-14 12:54 (UTC) |
voltdb
|
11.0-2 |
1 |
0.00
|
An in-memory database with pre-compiled Java stored procedures (Community Edition) |
dcelasun
|
2023-11-01 20:33 (UTC) |
antscope2-git
|
r65.27225ec-1 |
0 |
0.00
|
The AntScope2 software is designed to support various models of RigExpert antenna analyzers under various operating systems. It is commonly used in the hamradio community. Based in Qt5. |
dc0sk
|
2021-01-11 14:52 (UTC) |
systemd-cron
|
2.4.0-1 |
33 |
0.28
|
systemd units to run cron scripts |
dbb
|
2024-05-01 17:26 (UTC) |
librecad-git
|
2.2.0.rc1.r91.g8604f171-2 |
39 |
0.00
|
A 2D CAD drawing tool based on the community edition of QCad. |
damien.flament
|
2018-12-18 20:07 (UTC) |
exegol-git
|
r873.1246458-1 |
0 |
0.00
|
Fully featured and community-driven hacking environment. |
cyrinux
|
2022-11-08 13:35 (UTC) |
brogue-ce-git
|
1.9.4.r106.dev.0ca1176-1 |
4 |
0.00
|
Brogue Community Edition: A 26-level dungeon crawl to the Amulet of Yendor. |
cubethethird
|
2021-05-15 17:24 (UTC) |