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) |
wool
|
0.1.2-1 |
1 |
0.00
|
Preview Github Markdown Offline |
wezm
|
2020-04-08 03:44 (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.49
|
An open-source implementation of Cloudflare's Warp, enhanced with Psiphon integration (GitHub Version). |
morealaz
|
2024-04-08 05:10 (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) |
vendir-bin
|
0.40.1-2 |
0 |
0.00
|
Easy way to vendor portions of git repos, github releases, helm charts, docker image contents, etc. declaratively |
Zebradil
|
2024-04-20 19:43 (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) |
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) |
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-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) |
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) |
tqemu
|
1.0.2-2 |
0 |
0.00
|
QEMU frontend without libvirt (GitHub) |
orphan
|
2020-12-30 23:51 (UTC) |
tidgi-bin
|
0.8.0-1 |
0 |
0.00
|
Customizable personal knowledge-base with Github as unlimited storage and blogging platform. |
xmengnet
|
2023-07-03 08:02 (UTC) |
thank-you-stars
|
0.1.0-3 |
0 |
0.00
|
CLI tool to star a PyPI package and its dependencies hosted on GitHub |
orphan
|
2020-12-02 18:48 (UTC) |
texmacs-guile3-git
|
2.1.4_r13451.4c6097b19-1 |
1 |
0.04
|
Free scientific text editor, inspired by TeX and GNU Emacs. WYSIWYG editor and CAS-interface. Pulled from github.com/hammerfunctor/texmacs |
hammer
|
2024-03-22 07:24 (UTC) |
sync-ssh-keys-bin
|
0.5.0-1 |
0 |
0.00
|
Sync public ssh keys to ~/.ssh/authorized_keys, based on Github/Gitlab organization membership. |
wcarlsen
|
2021-08-16 13:01 (UTC) |
sxhkhm-git
|
r102.281d0cd-1 |
1 |
0.00
|
Parse and fuzzy-find keybinds from sxhkd-configuration - built from latest sources at github |
fiskhest
|
2022-06-15 12:34 (UTC) |
sunwait-git
|
r24.102cb41-1 |
2 |
0.00
|
Sunwait calculates sunrise or sunset times with civil, nautical, astronomical and custom twilights, for use with Windows Task Scheduler or 'cron' on Linux. Git version with new Github upstream. |
krathalan
|
2021-05-07 04:56 (UTC) |
sugarjar
|
1.1.1-3 |
1 |
0.00
|
A git/github helper inspired by arcanist (and others) |
zealws
|
2024-02-25 18:42 (UTC) |
subdomainizer
|
2.0-2 |
1 |
0.00
|
A tool to find subdomains and interesting things hidden inside, external Javascript files of page, folder, and Github. |
pusi77
|
2023-05-12 14:29 (UTC) |
sshb0t-bin
|
0.3.7-1 |
0 |
0.00
|
A bot for keeping your ssh authorized_keys up to date with github keys |
aerolith
|
2023-03-20 01:38 (UTC) |
squid-ecap-gzip
|
1.5.4.0-1 |
1 |
0.00
|
This Software is an eCAP adapter for HTTP compression with GZIP and DEFLATE. This is fully re-worked on C++11,improved and bugfixed production version, based on Constantin Rack`s https://github.com/c-rack/squid-ecap-gzip adapter |
bar0metr
|
2018-07-31 07:31 (UTC) |
soha-git
|
r8.b113d54-1 |
2 |
0.00
|
A modern persian calendar written by qt to see dates and events in a quick glance. (Github version) |
linarcx
|
2019-03-26 10:40 (UTC) |
shuttlepro-v2-git
|
0.1.r50.g6783b94-1 |
2 |
0.00
|
A user program for interpreting input from a Contour Design Shuttle device (git version). This is a moded version from SERVCUBED. https://github.com/SERVCUBED/ShuttlePRO |
satriani
|
2022-09-23 10:42 (UTC) |
shhgit-git
|
r65.65351a7-1 |
0 |
0.00
|
Reconnaissance tool for GitLab and GitHub organizations |
denisse
|
2021-04-06 01:46 (UTC) |
shhgit
|
0.2-1 |
1 |
0.00
|
Secrets detection for your GitHub, GitLab and Bitbucket repositories |
denisse
|
2021-04-06 01:52 (UTC) |
seiscomp-git
|
5.0.1.r0.g9235548-1 |
2 |
0.01
|
A seismological software for data acquisition, processing, distribution and interactive analysis (GitHub version). |
morealaz
|
2022-06-22 07:23 (UTC) |
s-bin
|
0.6.2-2 |
4 |
0.00
|
Web search from the terminal. Supports over 50 providers including google, github, and stackoverflow. |
ROllerozxa
|
2021-12-03 15:05 (UTC) |