lean-community-bin
|
3.51.1-1 |
0 |
0.00
|
Lean Theorem Prover, maintained by the Lean community |
fanninpm
|
2023-06-04 02:33 (UTC) |
keepassxc-allow-aur-extension-origin-bin
|
2.7.7-2 |
0 |
0.00
|
Cross-platform community-driven port of Keepass password manager (binary version) |
noahvogt
|
2024-04-10 19:02 (UTC) |
keepassxc-allow-aur-extension-origin
|
2.7.7-2 |
0 |
0.00
|
Cross-platform community-driven port of Keepass password manager |
noahvogt
|
2024-04-10 19:02 (UTC) |
juicefs-git
|
1.1.0dev-1 |
0 |
0.00
|
A distributed POSIX file system built on top of Redis and S3 (Community Edition). |
herald
|
2023-09-12 01:23 (UTC) |
juicefs-bin
|
1.1.2-1 |
0 |
0.00
|
A distributed POSIX file system built on top of Redis and S3 (Community Edition). |
herald
|
2024-02-05 13:15 (UTC) |
jetporch-git
|
0.0.1.r126.g565e639-1 |
0 |
0.00
|
Jet is a general-purpose, community-driven IT automation platform for configuration, deployment, orchestration, patching, and arbitrary task execution workflows. |
jvybihal
|
2023-10-27 10:13 (UTC) |
ioq3-bin
|
5a918bf-1 |
0 |
0.00
|
The ioquake3 community effort to continue supporting/developing id's Quake III Arena |
gameslayer
|
2024-05-10 02:50 (UTC) |
goby-community
|
2.9.3-4 |
0 |
0.00
|
Attack surface mapping |
ShoreNinth
|
2024-04-24 11:13 (UTC) |
gct
|
6.2.1705709074-2 |
0 |
0.00
|
The Grid Community Toolkit (GCT) is an open-source fork by the Grid Community Forum (GridCF) of the venerable Globus Toolkit |
orphan
|
2024-03-21 09:22 (UTC) |
firefox-extension-styl-us-bin
|
1.5.46-2 |
0 |
0.00
|
Redesign your favorite websites with Stylus, an actively developed and community driven userstyles manager. Easily install custom themes from popular online repositories, or create, edit, and manage your own personalized CSS stylesheets. |
perigoso
|
2024-03-27 21:14 (UTC) |
exegol-git
|
r873.1246458-1 |
0 |
0.00
|
Fully featured and community-driven hacking environment. |
cyrinux
|
2022-11-08 13:35 (UTC) |
documize-community-bin
|
3.8.0-1 |
0 |
0.00
|
Modern Confluence alternative designed for internal & external docs, built with Golang + EmberJS |
orphan
|
2020-06-12 21:02 (UTC) |
dbeaver-git
|
22.3.3.265.g8019a0ccca-1 |
0 |
0.00
|
Free universal SQL Client for developers and database administrators. Community Edition. Git version. |
AlfredoRamos
|
2023-12-30 06:08 (UTC) |
couchbase4-server-community
|
4.5.1-2 |
0 |
0.00
|
A document database featuring a powerful query language and unrivaled performance at scale. |
BombStrike
|
2018-01-10 05:53 (UTC) |
cortexcommand
|
6.2.2-1 |
0 |
0.00
|
Cortex Command Community Project |
HeliumAnt
|
2024-04-20 16:29 (UTC) |
community-configs-for-protopedal-git
|
1.0-2 |
0 |
0.00
|
Community-sourced configurations for protopedal. |
Lawstorant
|
2023-11-20 12:22 (UTC) |
cncli
|
5.3.0-1 |
0 |
0.00
|
A community-based cardano-node CLI tool |
orphan
|
2023-02-06 22:55 (UTC) |
cinelerra-cv-git
|
2.3.r385.g7d0e8ede-2 |
0 |
0.00
|
Professional video editing and compositing environment - Community version |
FabioLolix
|
2021-03-01 14:47 (UTC) |
cider-polybar-bin
|
1.2.0-1 |
0 |
0.00
|
A PolyBar custom script to interact with Cider - An open-source, community-oriented Apple Music |
Nixuge
|
2023-01-19 19:42 (UTC) |
cider-polybar
|
1.2.0-1 |
0 |
0.00
|
A PolyBar custom script to interact with Cider - An open-source, community-oriented Apple Music |
Nixuge
|
2023-08-18 23:52 (UTC) |
ccr
|
1.3.0-1 |
0 |
0.00
|
Community codec repository: compression (and other) filters for netCDF/HDF5 |
bcb
|
2022-08-10 18:30 (UTC) |
black-pearl-origin-git
|
r491.83a4bc6-1 |
0 |
0.00
|
Free and open-source tool for managing game sources using community-made modules. |
proledatarian
|
2024-04-04 09:37 (UTC) |
black-pearl-origin-bin
|
1.2.1-1 |
0 |
0.00
|
Free and open-source tool for managing game sources using community-made modules. |
proledatarian
|
2024-04-04 09:33 (UTC) |
black-pearl-origin
|
1.2.1-1 |
0 |
0.00
|
Free and open-source tool for managing game sources using community-made modules. |
proledatarian
|
2024-04-04 09:32 (UTC) |
beaker-ng-bin
|
1.2.3-4 |
0 |
0.00
|
An experimental peer-to-peer Web browser - Compiler optimized, community maintained fork. |
orphan
|
2023-11-10 10:17 (UTC) |
awstudio-community
|
1.1.18-1 |
0 |
0.00
|
The commercial grade solution of low-code application development base on AWTK. |
ufbycd
|
2022-10-27 07:26 (UTC) |
atom-ng-bin
|
1.66.12-7 |
0 |
0.00
|
The hyper-hackable text editor. Community maintained fork with compiler optimizations. |
blackwell
|
2024-03-14 19:05 (UTC) |
antscope2-git
|
r65.27225ec-1 |
0 |
0.00
|
The AntScope2 software is designed to support various models of RigExpert antenna analyzers under various operating systems. It is commonly used in the hamradio community. Based in Qt5. |
dc0sk
|
2021-01-11 14:52 (UTC) |
anki-sync-server-git
|
r425.ef41934-1 |
0 |
0.00
|
A sync server for anki using a forked version from github.com/ankicommunity (orig:dsnopek) |
s7hoang
|
2022-10-12 00:47 (UTC) |
adventuresofdemo
|
1.0.2-1 |
0 |
0.00
|
This is a small game based on the TheXTech engine with the A2XT content pack made by the Talkhaus community. It's a remix of old SMBX episodes such as The Invasion 1, brought to the A2XT universe! |
gameslayer
|
2024-05-09 05:26 (UTC) |
adaptivecpp-common-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). Common files. |
dreieck
|
2024-03-26 10:26 (UTC) |
adaptivecpp-cpu-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). Accelerated CPU-only backend. |
dreieck
|
2024-03-26 10:26 (UTC) |
adaptivecpp-opencl-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). OpenCL + CPU backend. |
dreieck
|
2024-03-26 10:26 (UTC) |
adaptivecpp-rocm-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). ROCm (AMD Radeon) + OpenCL + CPU backend. |
dreieck
|
2024-03-26 10:26 (UTC) |
acolor-git
|
0.4-1 |
0 |
0.00
|
An extensible command colorizer with community scripts |
Gamma
|
2022-06-14 13:59 (UTC) |