opentheory
|
1:1.4.20180810-1 |
1 |
0.00
|
a tool for processing higher-order logic theory packages |
xrchz
|
2018-09-27 12:13 (UTC) |
pacnews-git
|
1.0.r341.87fee7a-1 |
17 |
0.00
|
Find .pacnew files and merge them with vimdiff |
xrchz
|
2018-03-24 05:40 (UTC) |
polyml-fixes-git
|
5.9r4498.39d96a2d-1 |
5 |
0.00
|
Poly/ML implementation of Standard ML (latest release + fixes) |
xrchz
|
2021-12-27 07:55 (UTC) |
squolem
|
2.02-1 |
1 |
0.00
|
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates |
xrchz
|
2015-06-15 06:41 (UTC) |
teku
|
24.3.1-1 |
1 |
0.00
|
ConsenSys Ethereum Beacon Chain Client |
xrchz
|
2024-03-27 08:22 (UTC) |
vim-inkpot-git
|
r9.b86ad4d-1 |
3 |
0.00
|
Inkpot, a dark scheme for GUI and 88/256 colour terms |
xrchz
|
2015-11-21 12:06 (UTC) |
xcursor-ghost
|
20040711-2 |
6 |
0.00
|
Subtle grey cursors with soft edges |
xrchz
|
2017-06-28 03:46 (UTC) |
perl-catalyst-plugin-authentication
|
0.10023-2 |
1 |
0.00
|
Infrastructure plugin for the Catalyst |
xRemaLx
|
2021-01-28 22:19 (UTC) |
perl-catalyst-plugin-enablemiddleware
|
0.006-5 |
0 |
0.00
|
Enable Plack Middleware via Configuration |
xRemaLx
|
2021-01-28 22:02 (UTC) |
perl-catalyst-plugin-unicode
|
0.93-2 |
1 |
0.00
|
Unicode aware Catalyst (old style) |
xRemaLx
|
2021-01-28 22:46 (UTC) |
perl-dbix-contextualfetch
|
1.03-2 |
0 |
0.00
|
Add contextual fetches to DBI |
xRemaLx
|
2016-04-26 10:11 (UTC) |
perl-moosex-types-path-class
|
0.09-1 |
6 |
0.00
|
A Path::Class type library for Moose |
xRemaLx
|
2017-03-30 10:04 (UTC) |
perl-object-signature
|
1.08-1 |
1 |
0.00
|
Generate cryptographic signatures for objects |
xRemaLx
|
2020-02-09 10:39 (UTC) |
perl-rrdtool-oo
|
0.36-1 |
1 |
0.00
|
Object-oriented interface to RRDTool |
xRemaLx
|
2015-11-04 09:41 (UTC) |
perl-test-longstring
|
0.17-1 |
14 |
0.00
|
tests strings for equality, with more helpful failures |
xRemaLx
|
2015-10-02 01:33 (UTC) |
doomrunner
|
1.8.2-1 |
8 |
0.12
|
Modern preset-oriented graphical launcher of ZDoom and derivatives |
xriiitox
|
2024-01-16 23:11 (UTC) |
spacedrive-bin
|
1:0.2.2-1 |
3 |
0.03
|
A file manager from the future. |
xrtxn
|
2024-01-29 20:01 (UTC) |
dirac
|
1.0.2-1 |
0 |
0.00
|
open source video codec |
xryptor
|
2020-04-26 22:49 (UTC) |
e-search
|
1.11.0-1 |
0 |
0.00
|
识屏 · 搜索 |
xsf_root
|
2024-01-12 09:08 (UTC) |
e-search-git
|
1.9.0-1 |
0 |
0.00
|
识屏 · 搜索 |
xsf_root
|
2022-10-30 07:37 (UTC) |
linux-performance-control
|
2.0.2-1 |
0 |
0.00
|
Linux性能管理 |
xsf_root
|
2021-12-20 16:07 (UTC) |
lockfocus
|
1.0.0-1 |
0 |
0.00
|
锁机以达到专注 |
xsf_root
|
2021-12-20 17:40 (UTC) |
chromexup
|
0.5.4-1 |
6 |
0.00
|
External extension updater for Chromium based browsers |
xsmile
|
2023-10-19 15:09 (UTC) |
ifrextractor-ls
|
0.3.7-1 |
0 |
0.00
|
Extracts the internal forms represenation from both EFI and UEFI modules |
xsmile
|
2021-08-22 10:28 (UTC) |
libtorrent-ps
|
1.1.r54.ga787dd9-1 |
12 |
0.00
|
BitTorrent library written in C++ for use with rtorrent-ps |
xsmile
|
2020-03-20 11:08 (UTC) |
rtorrent-ps
|
1.1.r54.ga787dd9-2 |
15 |
0.00
|
Extended rTorrent distribution with UI enhancements, colorization, and some added features |
xsmile
|
2021-07-18 14:02 (UTC) |
ryzen-ppd
|
0.4-2 |
2 |
0.00
|
Power management daemon for AMD Ryzen Mobile processors |
xsmile
|
2023-05-07 08:41 (UTC) |
sedutil-ladar
|
1.16.0-5 |
1 |
0.00
|
TCG OPAL 2.00 SED Management Program. ladar's fork, SHA512 variant |
xsmile
|
2023-09-04 17:44 (UTC) |
uefitool-git
|
r228.44cafeb-2 |
15 |
0.32
|
UEFI firmware image viewer and editor and utilities |
xsmile
|
2022-08-24 18:02 (UTC) |
xmap-git
|
2.0.0.r15.gf30b823-2 |
2 |
0.01
|
Fast Internet-wide IPv6 & IPv4 network scanner |
xstefen
|
2023-11-15 09:57 (UTC) |
an-anime-borb-launcher-bin
|
1.0.1-1 |
0 |
0.00
|
A Launcher for a specific anime game with auto-patching, discord rpc and time tracking |
xstraok
|
2023-06-14 16:37 (UTC) |
an-anime-game-launcher-bin
|
3.9.5-2 |
35 |
2.06
|
A Launcher for a specific anime game with auto-patching, discord rpc and time tracking |
xstraok
|
2024-03-24 18:22 (UTC) |
an-anime-game-launcher-git
|
3.9.4.r1.gfc9c650-1 |
2 |
0.05
|
A Launcher for a specific anime game with auto-patching, discord rpc and time tracking |
xstraok
|
2023-12-29 22:40 (UTC) |
anime-games-launcher-bin
|
1.0.2-1 |
0 |
0.00
|
Unified launcher for all of your specific anime game needs. |
xstraok
|
2024-01-20 23:05 (UTC) |
honkers-launcher-bin
|
1.6.1-2 |
3 |
0.70
|
A launcher for a specific anime game with auto-patching, discord rpc and time tracking |
xstraok
|
2024-04-11 21:47 (UTC) |
honkers-launcher-git
|
1.6.1.r0.gfd29dec-1 |
1 |
0.05
|
A launcher for a specific anime game with auto-patching, discord rpc and time tracking |
xstraok
|
2024-04-11 21:50 (UTC) |
the-honkers-railway-launcher-bin
|
1.5.4-2 |
13 |
1.12
|
A launcher for a specific anime game with auto-patching, discord rpc and time tracking |
xstraok
|
2024-03-30 22:28 (UTC) |
gocryptotrader-git
|
r1105.473092a6-1 |
0 |
0.00
|
A cryptocurrency trading bot supporting multiple exchanges written in Golang. |
xtda
|
2019-12-10 11:17 (UTC) |
ds-inhibit
|
0.1.1-2 |
2 |
0.15
|
DualShock 4/DualSense mouse inhibitor |
xteixeira
|
2023-12-09 14:59 (UTC) |
dinit-systemd
|
1-1 |
1 |
0.09
|
Systemd service files for dinit - Service monitoring / "init" system |
xtex
|
2024-02-17 04:04 (UTC) |
mkinitcpio-btrfs
|
0.4.3-1 |
74 |
0.00
|
mkinitcpio hook containing advanced features for btrfs-based root devices |
xtfxme
|
2015-07-09 12:27 (UTC) |
vim-dyon-git
|
r13.f171ea7-1 |
1 |
0.00
|
Vim syntax highlighting for Dyon language. |
xtheosirian
|
2019-08-11 20:48 (UTC) |
vim-gluon-git
|
r16.07f9f69-1 |
1 |
0.00
|
Vim plugin for syntax highlighting and indentation for Gluon. |
xtheosirian
|
2019-08-11 20:50 (UTC) |
vim-lalrpop-git
|
r2.7073eec-1 |
1 |
0.00
|
LALRPOP Vim plugin with minimal syntax-highlighting functionality. |
xtheosirian
|
2019-08-11 20:46 (UTC) |
vim-ron-git
|
r4.2ec8a5d-1 |
2 |
0.00
|
RON syntax highlighting for Vim. |
xtheosirian
|
2019-08-11 20:51 (UTC) |
ship
|
2.6-3 |
0 |
0.00
|
Simple, handy network addressing multitool with plenty of utilities |
xtonousou
|
2020-12-29 20:06 (UTC) |
android-x86-installer-tauri-bin
|
0.1.6-1 |
0 |
0.00
|
Android x86 Installer |
Xtr126
|
2024-02-29 08:54 (UTC) |
bracmat-git
|
6.14.2.r274-1 |
0 |
0.00
|
Programming language for symbolic computation with pattern matching features |
xtradev
|
2023-04-04 11:38 (UTC) |
nodebrain
|
0.9.04-1 |
0 |
0.00
|
A Rule Engine for State and Event Monitoring |
xtradev
|
2021-11-16 08:46 (UTC) |
sfk-bin
|
1.9.9.0-1 |
1 |
0.00
|
Swiss File Knife - a command line tools collection |
xtradev
|
2023-08-19 01:24 (UTC) |