|
python-pysmt-git
|
0.9.5.r53.gf7b599c-1 |
0 |
0.00
|
A library for SMT formulae manipulation and solving |
kyechou
|
2024-01-09 21:03 (UTC) |
|
retdec
|
5.0-2 |
1 |
0.00
|
A retargetable machine-code decompiler based on LLVM |
kyechou
|
2024-01-09 20:08 (UTC) |
|
spin-git
|
6.5.2.r23.g6651f97-1 |
0 |
0.00
|
Explicit state logic model checking tool |
kyechou
|
2020-12-24 18:20 (UTC) |
|
vcpkg-git
|
2023.06.20.r43.g288e8bebf4-1 |
10 |
0.01
|
C++ library manager for Windows, Linux, and MacOS |
kyechou
|
2023-06-25 08:00 (UTC) |
|
wllvm-git
|
r486.c663442-1 |
0 |
0.00
|
A wrapper script to build whole-program LLVM bitcode files |
kyechou
|
2022-02-14 02:58 (UTC) |
|
ydotool-git
|
1:1.0.4.r0.g57ba7d0-1 |
17 |
0.00
|
Generic command-line automation tool (no X!) |
kyechou
|
2023-08-20 19:39 (UTC) |
|
capcom-git
|
0.1-1 |
0 |
0.00
|
Atom feed aggregator for Gemini |
kyeh
|
2024-04-05 02:18 (UTC) |
|
python-agunua-git
|
1.7.1-1 |
0 |
0.00
|
Python library for the development of Gemini clients |
kyeh
|
2024-04-05 02:14 (UTC) |
|
snd-hda-macbookpro-dkms-git
|
0.1-1 |
1 |
0.49
|
Kernel driver for sound on Macs with Cirrus 8409 HDA chips |
kyeh
|
2023-11-09 07:03 (UTC) |
|
chromium-chromevox
|
latest-1 |
0 |
0.00
|
Causes the Chromium web browser to automatically install and update the ChromeVox screen reader extention. Note: This package does not contain the extension code. |
kyle
|
2015-08-21 13:51 (UTC) |
|
configure-wifi-git
|
2019.06.11-1 |
1 |
0.00
|
A user friendly wireless network selection menu that configures wpa_supplicant and systemd-networkd |
kyle
|
2019-06-11 22:24 (UTC) |
|
espeak-ng-git
|
1.51.r708.gff46761d-1 |
11 |
0.00
|
Multi-lingual software speech synthesizer (development version) |
kyle
|
2023-03-23 20:12 (UTC) |
|
files-f123light-git
|
0.0-1 |
0 |
0.00
|
System and user configuration files, scripts and other files specific to F123Light, an ArchLinuxARM-based operating system for the Raspberry Pi 2 and 3 |
kyle
|
2018-02-27 02:31 (UTC) |
|
kies-git
|
0.0-1 |
0 |
0.00
|
the menu system for creation of a text-only desktop type environment, git version |
kyle
|
2018-01-10 03:07 (UTC) |
|
opus-git
|
0.0-1 |
9 |
0.00
|
codec designed for interactive speech and audio transmission over the Internet (git master) |
kyle
|
2020-06-02 23:17 (UTC) |
|
opus-tools-git
|
0.2.13.g6c758c0-1 |
4 |
0.00
|
A collection of tools for working with opus files (git version) |
kyle
|
2020-06-03 00:24 (UTC) |
|
go-tuner-git
|
r253.b3c7a72-1 |
2 |
0.00
|
Search and Play songs from YouTube inside your terminal. |
KyleCzar
|
2021-03-31 19:02 (UTC) |
|
neptune-git
|
r149.357e25d-1 |
0 |
0.00
|
YouTube based song player, made with GTK and GoLang. |
KyleCzar
|
2021-03-22 19:21 (UTC) |
|
drafter
|
5.0.0-1 |
4 |
0.00
|
API Blueprint Parser |
kylef
|
2020-04-21 18:59 (UTC) |
|
goji
|
0.4.0-1 |
0 |
0.00
|
Command line JIRA client |
kylef
|
2021-03-28 13:24 (UTC) |
|
swiftenv
|
1.5.0-1 |
1 |
0.00
|
Swift Version Manager |
kylef
|
2022-02-12 19:21 (UTC) |
|
znc-palaver
|
1.2.2-1 |
1 |
0.00
|
ZNC module for push notifications |
kylef
|
2022-10-21 16:46 (UTC) |
|
chalice
|
1.29.0-1 |
1 |
0.00
|
Python Serverless Microframework for AWS |
kylelaker
|
2023-08-24 11:28 (UTC) |
|
oscal-cli
|
1.0.2-1 |
0 |
0.00
|
A simple open source command line tool to support common operations over OSCAL content. |
kylelaker
|
2023-09-29 13:51 (UTC) |
|
python-pystemd
|
0.13.2-1 |
1 |
0.00
|
A thin Cython-based wrapper on top of libsystemd, focused on exposing the dbus API via sd-bus in an automated and easy to consume way. |
kylelaker
|
2023-05-28 18:54 (UTC) |
|
refind-theme-dracula
|
1.0.0-1 |
1 |
0.02
|
Simple theme inspired by the Dracula palette |
kylerassweiler
|
2022-09-17 14:54 (UTC) |
|
vim-slime-git
|
r273.dc8ca22-1 |
1 |
0.00
|
A vim plugin for REPL. |
kylerky
|
2019-09-08 13:57 (UTC) |
|
gactions
|
2.2.4-1 |
3 |
0.00
|
The command line interface that you use to test and update your app for the Google Assistant. |
kylesferrazza
|
2019-12-23 00:29 (UTC) |
|
gnome-screenruler
|
0.9.6-6 |
37 |
0.00
|
ScreenRuler lets you measure objects on your screen using six different metrics. |
kylesferrazza
|
2018-11-05 07:24 (UTC) |
|
hans
|
1.0-2 |
10 |
0.00
|
IP over ICMP, makes it possible to tunnel IPv4 through ICMP echo packets |
kylesferrazza
|
2018-11-05 07:05 (UTC) |
|
jdiskreport
|
1.4.1-1 |
7 |
0.00
|
Enables you to understand your disk drive usage |
kylesferrazza
|
2019-04-25 15:43 (UTC) |
|
openface-git
|
ac4ded4-1 |
3 |
0.00
|
Face recognition with deep neural networks. |
kylesferrazza
|
2017-10-17 02:11 (UTC) |
|
plymouth-theme-arch-solarized-git
|
r16.af2e98c-1 |
4 |
0.00
|
A Plymouth theme with a solarized-dark arch linux logo. |
kylesferrazza
|
2021-03-04 22:09 (UTC) |
|
powershell
|
7.4.1-4 |
83 |
1.59
|
A cross-platform automation and configuration tool/framework (latest release) |
kylesferrazza
|
2024-03-10 11:11 (UTC) |
|
powershell-bin
|
7.4.2-1 |
61 |
1.11
|
A cross-platform automation and configuration tool/framework (binary package) |
kylesferrazza
|
2024-04-15 10:57 (UTC) |
|
powershell-git
|
7.0.0.preview.6.293.g5da06978b-1 |
21 |
0.00
|
A cross-platform automation and configuration tool/framework (git version) |
kylesferrazza
|
2020-03-19 17:31 (UTC) |
|
redcrane-engine-git
|
bb4ae5b-1 |
1 |
0.00
|
A (WIP) low-level game engine written in C++ with C and Lua bindings. |
kylesferrazza
|
2017-11-01 04:21 (UTC) |
|
speed-test
|
3.0.0-1 |
15 |
0.00
|
Test your internet connection speed and ping using speedtest.net from the CLI |
kylesferrazza
|
2022-02-23 03:41 (UTC) |
|
swarp
|
0.1-4 |
2 |
0.00
|
Simple pointer warp |
kylesferrazza
|
2019-04-25 15:12 (UTC) |
|
udev-browse-git
|
0.3.r0.g7ba128e-1 |
12 |
0.00
|
Graphical browser for the Linux sysfs device tree |
kylesferrazza
|
2015-08-19 19:21 (UTC) |
|
mupen64plus-audio-sdl2
|
1.0-1 |
1 |
0.00
|
Mupen64plus SDL2 audio plugin |
kyle_dolichev
|
2018-11-17 18:51 (UTC) |
|
kurcoder-git
|
0.0.1.r36.g2572458-1 |
1 |
0.00
|
Toolkit for encoding, decoding, checksums, hex conversions & IP calculations |
kyli0x
|
2020-09-10 23:23 (UTC) |
|
goodix-gpdwin3-dkms
|
6.2.1-1 |
0 |
0.00
|
Patched Goodix touchscreen driver for GPD WIN3 |
kylon
|
2023-02-26 11:43 (UTC) |
|
mkchrootb
|
1.0-2 |
0 |
0.00
|
chroot-only AUR helper written in bash |
kylon
|
2024-04-15 22:05 (UTC) |
|
opencl-1.2-man-doc
|
1.0~svn33624-4 |
0 |
0.00
|
OpenCL 1.2 man pages |
kylon
|
2019-11-10 13:34 (UTC) |
|
sharedown
|
5.3.3-1 |
1 |
0.08
|
Electron application to download Sharepoint videos (especially meant for students) |
kylon
|
2024-04-06 12:45 (UTC) |
|
devilscalw-flasher-git
|
r22.864b3ee-1 |
0 |
0.00
|
LG CD/DVD/BluRay drive firmware dumping and flashing software |
kyndair
|
2023-02-19 12:11 (UTC) |
|
gog-battletech
|
1.9.1.686r-1 |
0 |
0.00
|
The year is 3025 and the galaxy is trapped in a cycle of perpetual war, fought with enormous mechanized vehicles called BattleMechs. |
kyndair
|
2021-02-19 21:24 (UTC) |
|
gog-battletech-flashpoint
|
1.9.1.686r-1 |
0 |
0.00
|
DLC for the Battletech game. |
kyndair
|
2021-02-19 21:27 (UTC) |
|
gog-battletech-heavy-metal
|
1.9.1.686r-1 |
0 |
0.00
|
DLC for the Battletech game. |
kyndair
|
2021-02-19 21:28 (UTC) |