z3-stable-git
|
4.8.4.g05663592e-1 |
0 |
0.00
|
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) |
Ice_Phoenix
|
2019-03-12 14:50 (UTC) |
ycm-generator-git
|
r128.b501516-1 |
17 |
0.00
|
Generates config files for YouCompleteMe (https://github.com/Valloric/YouCompleteMe) |
petronny
|
2023-03-03 09:08 (UTC) |
xwinwrap-git
|
r5.ec32e9b-1 |
3 |
0.14
|
Fork of XwinWrap from takase1121 on GitHub |
zjuyk
|
2022-05-03 01:09 (UTC) |
xivlauncher-bin
|
1.0.8-1 |
0 |
0.00
|
Custom Launcher for Final Fantasy XIV Online - github binary artifact wrapper |
reiichi001
|
2024-04-04 00:17 (UTC) |
xetmnt
|
0.13.2-1 |
0 |
0.00
|
CLI tools for working with XetHub |
alerque
|
2024-03-27 08:40 (UTC) |
xetcmd
|
0.13.2-1 |
0 |
0.00
|
CLI tools for working with XetHub |
alerque
|
2024-03-27 08:40 (UTC) |
wool
|
0.1.2-1 |
1 |
0.00
|
Preview Github Markdown Offline |
wezm
|
2020-04-08 03:44 (UTC) |
wirehub
|
0.0.20190129-1 |
1 |
0.00
|
Decentralized, peer-to-peer and secure overlay networks |
fuero
|
2019-06-21 15:10 (UTC) |
wikidoc-git
|
1:r34.20180311.7fb66a4-3 |
0 |
0.00
|
Python script allows to create nice looking PDF files from a github wiki. Requires mardown-formatted wiki. |
dreieck
|
2022-03-17 15:21 (UTC) |
wiki2pdf-git
|
2:1.0.5.r6.20171207.19e936a-1 |
0 |
0.00
|
Github Wiki to pdf Converter allows you to generate HTML & PDF documentation from your Github wiki or any other markdown-based wiki. |
dreieck
|
2022-03-17 15:21 (UTC) |
whisper.cpp-model-tiny.en
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
whisper.cpp-model-tiny
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
whisper.cpp-model-small.en
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
whisper.cpp-model-small
|
1-1 |
1 |
0.01
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
whisper.cpp-model-medium.en
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:45 (UTC) |
whisper.cpp-model-medium
|
1-1 |
1 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
whisper.cpp-model-large-v3
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:45 (UTC) |
whisper.cpp-model-large-v2
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:45 (UTC) |
whisper.cpp-model-large-v1
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:45 (UTC) |
whisper.cpp-model-large
|
1-1 |
2 |
0.01
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-08-08 11:52 (UTC) |
whisper.cpp-model-base.en
|
1-1 |
1 |
0.01
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
whisper.cpp-model-base
|
1-1 |
0 |
0.00
|
This is an autogenerated file, please see https://github.com/hrehfeld/archlinux-whisper.cpp-model |
hrehfeld
|
2023-11-23 12:44 (UTC) |
warp-plus-git
|
1.1.3.r1.69977d9-1 |
1 |
0.57
|
An open-source implementation of Cloudflare's Warp, enhanced with Psiphon integration (GitHub Version). |
morealaz
|
2024-04-08 05:10 (UTC) |
virtualhub
|
56436-1 |
0 |
0.00
|
Toolbox for Yoctopuce USB devices |
gmask
|
2023-10-16 08:27 (UTC) |
vim-to-github
|
1.0.2-1 |
0 |
0.00
|
Will take you from Vim to GitHub |
synthead
|
2020-02-20 22:05 (UTC) |
vim-scala-git
|
20150130-2 |
24 |
0.00
|
Vim support files for the Scala programming language, from the official Scala Github repository |
sumito3478
|
2015-06-29 21:29 (UTC) |
vim-rhubarb-git
|
r89.e4f7fb8-1 |
0 |
0.00
|
Github extension for vim-fugitive |
Kr1ss
|
2021-08-24 20:57 (UTC) |
vim-copilot-git
|
1.9.0.r0.g98c2939-1 |
0 |
0.00
|
(Neo)Vim plugin for GitHub Copilot automated code completion. Requires a subscription. |
Score_Under
|
2023-06-25 10:17 (UTC) |
video-hub-app-bin
|
3.2.0-6 |
0 |
0.00
|
The fastest way to browse and search for videos on your computer. Think of it like YouTube for videos on your computer: browse, search, and preview. |
zxp19821005
|
2024-03-18 12:34 (UTC) |
video-hub-app-appimage
|
3.2.0-1 |
1 |
0.00
|
Video Hub App 3 is the fastest way to browse and search for videos on your computer. Think of it like YouTube for videos on your computer: browse, search, and preview. Works on Windows, Mac, and Linux! |
SandFloh
|
2023-03-31 14:45 (UTC) |
vendir-bin
|
0.40.1-1 |
0 |
0.00
|
Easy way to vendor portions of git repos, github releases, helm charts, docker image contents, etc. declaratively |
Zebradil
|
2024-04-17 00:23 (UTC) |
vendir
|
0.40.1-1 |
0 |
0.00
|
Easy way to vendor portions of git repos, github releases, helm charts, docker image contents, etc. declaratively |
Zebradil
|
2024-04-17 00:24 (UTC) |
usb_resetter
|
1.3.0-1 |
1 |
0.08
|
Tool to reset USB controllers, hubs or devices |
elod
|
2023-12-11 12:42 (UTC) |
unityhubnative-git
|
1.53.r9.gbc636ec-1 |
0 |
0.00
|
A lightweight C++ / wxWidgets alternative to the official Unity Hub |
openglfreak
|
2024-02-14 21:50 (UTC) |
unityhub-cn
|
3.1.1-1 |
0 |
0.00
|
The Unity Hub is a standalone application that streamlines the way you find, download, and manage your Unity Projects and installations. (China localized version) |
VictriD
|
2022-04-28 10:16 (UTC) |
unityhub-beta
|
3.3.0beta.2-1 |
8 |
0.00
|
Unity Hub beta |
nobbele
|
2022-09-27 23:24 (UTC) |
unityhub
|
3.7.0-1 |
71 |
0.22
|
The Unity Hub is a standalone application that streamlines the way you find, download, and manage your Unity Projects and installations. |
nobbele
|
2023-12-26 08:07 (UTC) |
ulam-git
|
4.0.1.r240.g39c81423-1 |
1 |
0.00
|
Github version of ulam compiler and MFM simulator |
spencerharmon
|
2020-09-13 05:49 (UTC) |
ukylin-wine
|
70.6.3.25-1 |
0 |
0.00
|
Base ukylin-wine package. Full description can be found here: https://www.ubuntukylin.com/news/1682-cn.html . Issues and pull request please send to github: https://github.com/abcfy2/ukylin-wine-aur/ |
abcfy2
|
2021-08-24 14:46 (UTC) |
uhubctl-arm
|
2.4.0-1 |
0 |
0.00
|
control USB per-port power switching on PPPS smart USB hubs |
orphan
|
2021-03-22 23:45 (UTC) |
uhubctl
|
2.5.0-1 |
7 |
0.00
|
control USB per-port power switching on PPPS smart USB hubs |
severach
|
2022-12-16 08:48 (UTC) |
uhub-git
|
0.5.0.66.g35d8088-1 |
2 |
0.00
|
A hub for the ADC network. (GIT Version) |
sl1pkn07
|
2024-02-02 23:20 (UTC) |
uhub
|
0.5.0-6 |
5 |
0.00
|
A hub for the ADC network. |
orphan
|
2024-02-02 23:17 (UTC) |
uf2conv-rs-git
|
0.1.0.r6.g8dd76fd-1 |
0 |
0.00
|
Converts binary files to Microsoft's UF2 format https://github.com/Microsoft/uf2 |
taotieren
|
2024-03-08 10:15 (UTC) |
ttf-webhostinghub-glyphs
|
1.0-8 |
2 |
0.00
|
WebHostingHub Glyphs icon font by webhostinghub.com |
brli
|
2020-03-25 12:20 (UTC) |
ttf-octicons
|
19.9.0-1 |
5 |
0.00
|
A scalable set of icons handcrafted with <3 by GitHub |
clebermatheus
|
2024-03-29 17:39 (UTC) |
ttf-monaspice-huhanme-nerd-font-bin
|
1.000_3.1.1-3 |
0 |
0.00
|
GitHub's Monaspace, with the Humanist, Handwriting and Mechanical variants for the normal, italic (& bold italic), and bold variants, patched with nerd font glyphs on top |
aliu
|
2024-04-01 14:36 (UTC) |
trenchbroom-git
|
v2024.1.RC2.r19.gce15d1158-1 |
6 |
0.00
|
TrenchBroom is a modern cross-platform level editor for Quake-engine based games. This will build/install TrenchBroom from the current commits to the main branch of it's GitHub |
hrehfeld
|
2024-02-25 10:50 (UTC) |
tremulous-grangerhub-bin
|
1.3.0_alpha.0.15-1.1 |
3 |
0.00
|
Team based FPS/RTS hybrid built on the open ioq3 engine. GrangerHub |
g360
|
2023-07-02 14:17 (UTC) |
transmission-gtk-git
|
2:4.0.3.r536.g7f029acf6-1 |
21 |
0.00
|
Fast, easy, and free BitTorrent client (GTK+ GUI)(Git version from github repository) |
FredBezies
|
2024-02-25 12:32 (UTC) |