key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
key-exe-bin
|
2.8.0-1 |
0 |
0.00
|
Java Software Verification Tool |
orphan
|
2021-03-26 20:14 (UTC) |
key-bin
|
2.8.0-0 |
1 |
0.00
|
Java Software Verification Tool |
csicar
|
2021-04-20 14:05 (UTC) |
kex-git
|
r52.96d1fa2-1 |
0 |
0.00
|
KolibriOS emulator for running applications in Linux. |
mxlgv
|
2020-09-29 16:55 (UTC) |
kew-git
|
v2.4.4.r0.gc96d892-1 |
3 |
0.14
|
A command-line music player |
arcpie
|
2024-03-26 21:15 (UTC) |
kew
|
2.4.4-1 |
4 |
1.05
|
A command-line music player |
malteo
|
2024-03-28 21:30 (UTC) |
kevin-git
|
v0.4.r0.gfda3809-1 |
0 |
0.00
|
Kevin-CI: a simple-stupid self-hosted continuous integration service |
TheJJ
|
2018-06-28 12:05 (UTC) |
kevin
|
0.4-1 |
1 |
0.00
|
Kevin-CI: a simple-stupid self-hosted continuous integration service |
TheJJ
|
2018-06-28 11:58 (UTC) |
keurocalc
|
1.3.0-2 |
0 |
0.00
|
Utility to handle currency conversions between European currencies |
arojas
|
2023-11-10 08:12 (UTC) |
kettu-git
|
r370.036767e-1 |
2 |
0.00
|
Rewrite of the Transmission Web Client with jQuery, Sammy and Mustache |
jamesan
|
2015-11-17 19:07 (UTC) |
ketm
|
0.0.6-3 |
2 |
0.00
|
kill everything that moves |
kleintux
|
2021-06-13 15:38 (UTC) |
ketchup-git
|
0.0.1-1 |
0 |
0.00
|
a pomodoro timer using client <-> server architecture |
jokke
|
2016-02-01 15:56 (UTC) |
ketall-git
|
1.3.8.r7.16390bd-1 |
0 |
0.00
|
Kubectl plugin to show really all kubernetes resources |
fuero
|
2023-06-05 15:43 (UTC) |
ket-git
|
r26.01d6ed2-1 |
0 |
0.00
|
Krathalan's exposure tracker |
krathalan
|
2021-06-12 01:38 (UTC) |
kestrel
|
1.0.1-1 |
0 |
0.00
|
File encryption done right |
finfet
|
2024-05-13 09:33 (UTC) |
kesl-gui
|
11.2.0.4528-3 |
2 |
0.43
|
Kaspersky Endpoint Security 11.2.0 for Linux (GUI) |
orphan
|
2022-01-11 19:07 (UTC) |
kesl
|
11.2.0.4528-3 |
2 |
0.43
|
Kaspersky Endpoint Security 11.2.0 for Linux |
orphan
|
2022-01-11 19:07 (UTC) |
kesboot-git
|
1.6.r0.g4531557-1 |
4 |
0.21
|
Script for automating work with EFI Kernel Stub (linux) |
BiteDasher
|
2021-09-14 20:19 (UTC) |
kerpack-svn
|
r8139-1 |
1 |
0.00
|
A program for compressing apps and the KolibriOS kernel using the LZMA method. |
mxlgv
|
2020-11-05 20:49 (UTC) |
kernelshark-git
|
1.0.r34.gd448481-1 |
1 |
0.00
|
GUI frontend for trace-cmd based Linux kernel Ftrace captures |
orphan
|
2019-09-29 13:43 (UTC) |
kerneloops-git
|
0.12.r44.g00ac663-1 |
4 |
0.00
|
Client tool for reporting OOPS to http://oops.kernel.org/ |
tsh
|
2024-03-10 10:26 (UTC) |
kernel-update-hook
|
1.0.0-1 |
0 |
0.00
|
Hook to load all modules you might need into the kernel. |
kcolford
|
2020-10-06 15:26 (UTC) |
kernel-riot-api-git
|
127.f769403-2 |
0 |
0.00
|
A plug & play Riot API proxy server |
Eragon
|
2023-12-03 23:56 (UTC) |
kernel-modules-hook-reflink
|
0.1.11-1 |
15 |
0.00
|
Keeps your system fully functional after a kernel upgrade (forked version using `cp --reflink`, maybe better for btrfs) |
yuuza
|
2022-09-03 14:38 (UTC) |
kernel-modules-hook-hardlinks
|
0.2.4-1 |
1 |
0.75
|
Keeps your system fully functional after a kernel upgrade |
VannTen
|
2023-07-05 13:04 (UTC) |
kernel-modules-hook-bindmount
|
0.2.4-2 |
2 |
0.00
|
Keeps your system fully functional after a kernel upgrade |
JerryXiao
|
2024-02-16 07:56 (UTC) |
kernel-install-ukify
|
v1.0.0-1 |
0 |
0.00
|
kernel-install plugin to generate unified kernel images (UKIs) from initrds |
vibhavp
|
2023-06-23 07:43 (UTC) |
kernel-install-mkinitcpio
|
1.8-1 |
6 |
0.12
|
A framework for enabling systemd-boot automation using kernel-install with mkinitcpio |
dalto
|
2023-12-30 20:48 (UTC) |
kernel-install-for-dracut
|
1.10.1-1 |
8 |
1.26
|
Enables systemd-boot automation using kernel-install with dracut |
dalto
|
2023-12-28 22:27 (UTC) |
kernel-install-dracut-uki
|
2-1 |
1 |
0.00
|
kernel-install plugin to build UKIs with dracut |
orphan
|
2023-08-15 10:33 (UTC) |
kernel-headers-musl-i386
|
4.19.88-1 |
0 |
0.00
|
Linux kernel headers sanitized for use with musl libc (i386) |
gportay
|
2023-11-13 09:20 (UTC) |
kernel-headers-musl-armhf
|
4.19.88-1 |
0 |
0.00
|
Linux kernel headers sanitized for use with musl libc (armhf) |
gportay
|
2023-11-13 09:21 (UTC) |
kernel-headers-musl-arm
|
4.19.88-1 |
0 |
0.00
|
Linux kernel headers sanitized for use with musl libc (arm) |
gportay
|
2023-11-13 09:21 (UTC) |
kernel-headers-musl-aarch64
|
4.19.88-1 |
0 |
0.00
|
Linux kernel headers sanitized for use with musl libc (aarch64) |
gportay
|
2023-11-13 09:22 (UTC) |
kernel-hardening-checker-git
|
0.6.6.r115.g40b32a1-1 |
0 |
0.00
|
A tool for checking the security hardening options of the Linux kernel |
RiverOnVenus
|
2024-06-11 01:24 (UTC) |
kernel-efi-copy-hook
|
1-0 |
1 |
0.00
|
Pacman hook to upgrade efi kernel |
banzay
|
2021-11-08 22:06 (UTC) |
kernel-chktaint
|
5.8.9-1 |
0 |
0.00
|
Check kernel for tainted modules |
sunflsks
|
2020-09-14 21:24 (UTC) |
kernel-alive-git
|
r31.ab1144d-2 |
0 |
0.00
|
port of Manjaro kernel-alive, keep previous kernel modules until next reboot. |
alicela1n
|
2021-10-28 23:45 (UTC) |
kernel-alive
|
0.5-1 |
0 |
0.00
|
Back up modules of current kernel to prevent some issues after kernel update |
alicela1n
|
2021-09-12 07:59 (UTC) |
kerncraft-git
|
r803-1 |
2 |
0.00
|
Loop Kernel Analysis and Performance Modeling Toolkit |
vivaeltopo
|
2018-12-01 17:02 (UTC) |
kermit-git
|
4.0.r0.g6057cfd-1 |
0 |
0.00
|
A VTE-based, simple and froggy terminal emulator (git) |
orhun
|
2024-06-10 19:21 (UTC) |
kermit
|
4.0-1 |
2 |
0.00
|
A VTE-based, simple and froggy terminal emulator |
orhun
|
2024-06-10 19:33 (UTC) |
kerl-git
|
2.2.2.r0.077d16d-1 |
0 |
0.00
|
Easy building and installing of Erlang/OTP instances |
lukas.burgey
|
2021-11-05 17:41 (UTC) |
kerl
|
1.8.5-1 |
5 |
0.00
|
Easy building and installing of Erlang/OTP instances |
juantascon
|
2018-11-22 16:28 (UTC) |
kerio-firewall-admin
|
6.7.1.6544-5 |
1 |
0.00
|
Kerio Administration Console to manage Kerio Firewall (previously named Kerio Winroute) servers |
Muflone
|
2015-10-25 01:38 (UTC) |
kerio-control-vpnclient_8_5
|
8.5.3.3469-2 |
5 |
0.00
|
Kerio Control VPN client for corporate networks (version 8.5, the last compatible VPN Client for older Kerio WinRoute Firewall 6.x). |
Muflone
|
2016-11-05 00:50 (UTC) |
kerio-control-vpnclient-9.2.7
|
9.2.7.2921-1 |
1 |
0.00
|
Kerio Control VPN client for corporate networks (version 9.2.7, the last compatible version for older Kerio Control 9.2.6 VPN servers). |
Muflone
|
2019-08-31 11:24 (UTC) |
kerio-control-vpnclient
|
9.3.6.5808-1 |
21 |
0.00
|
Kerio Control VPN client for corporate networks. |
Muflone
|
2023-09-10 15:05 (UTC) |
kerbrute-bin
|
1.0.3-1 |
0 |
0.00
|
A tool to perform Kerberos pre-auth bruteforcing |
Marco98
|
2020-10-31 19:43 (UTC) |
kerberosio-web
|
2.5.1-2 |
0 |
0.00
|
Kerberos.io machinery |
MarsSeed
|
2018-06-15 19:11 (UTC) |