cvc5-bestperformance
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance. |
Neferin
|
2024-03-17 13:37 (UTC) |
cvc5
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
Neferin
|
2024-03-17 13:37 (UTC) |
cvc4-git
|
1.6.r709.g219bc5991-1 |
2 |
0.00
|
An automatic theorem prover for SMT problems. |
orphan
|
2019-03-15 01:11 (UTC) |
customizepkg-scripting
|
0.4.1-2 |
11 |
0.00
|
A tool to modify automatically PKGBUILDs - modified to just run scripts |
Scimmia
|
2018-02-21 17:59 (UTC) |
ctrlwm
|
0_8_0_9-3 |
1 |
0.00
|
Is a customisable tool for automatic windows positioning and sizing. |
mrbit
|
2017-06-01 09:19 (UTC) |
csi-hg
|
1.2.4.r2111.7fe648231f80-1 |
0 |
0.00
|
An automatic confluence prover for term rewrite systems (TRSs) (mercurial version) |
ruffy
|
2020-07-07 08:14 (UTC) |
crunchyroll-guest-pass-finder
|
2.2-0 |
0 |
0.00
|
Automatically get Crunchyroll guest passes for free |
TAAPAye
|
2020-02-16 08:19 (UTC) |
crawljax
|
4.1-1 |
1 |
0.00
|
Open source Java tool for automatically crawling and testing modern web applications |
orphan
|
2019-10-03 12:17 (UTC) |
cppadcodegen
|
2.4.3-7 |
2 |
0.00
|
Source Code Generation for Automatic Differentiation using Operator Overloading |
Nim65s
|
2022-09-13 21:45 (UTC) |
cow-proxy-git
|
1059.41c0fb1-1 |
1 |
0.00
|
HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access |
orphan
|
2022-10-04 20:13 (UTC) |
cow-proxy
|
0.9.8-1 |
12 |
0.00
|
HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access |
fzerorubigd
|
2016-07-03 06:53 (UTC) |
codegpt-bin
|
0.10.0-1 |
0 |
0.00
|
A CLI written in Go language that writes git commit messages or do a code review brief for you using ChatGPT AI (gpt-4, gpt-3.5-turbo model) and automatically installs a git prepare-commit-msg hook |
irmluity
|
2024-03-27 08:53 (UTC) |
codeforces-parser-git
|
r48.5287a01-2 |
1 |
0.00
|
Parse sample tests of Codeforces Competitions, and generate tests automatically. |
Gioconda
|
2018-01-30 18:18 (UTC) |
clusteringsuite
|
2.6.9.20240424-3 |
0 |
0.00
|
Automatically expose the main performance trends in applications' computation structure (from BSC). |
gamezelda
|
2024-04-24 21:39 (UTC) |
clitest
|
0.5.0-1 |
2 |
0.00
|
A program to perform automatic testing of command line programs |
rudy.matela
|
2024-01-31 20:03 (UTC) |
clap-validator-git
|
0.1.0.r0.g9071ebf-1 |
0 |
0.00
|
An automatic CLAP validation and testing tool |
robbert-vdh
|
2022-12-12 15:26 (UTC) |
clad
|
1.4-1 |
0 |
0.00
|
Enables automatic differentiation for C++ |
pants
|
2024-03-01 09:26 (UTC) |
cito-git
|
3.1.2+50.r2508.20240323.0490a98-1 |
0 |
0.00
|
The Ć Programming Language. A programming language which can be translated automatically to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C. |
dreieck
|
2024-03-24 20:00 (UTC) |
chunkcleaner-git
|
0.0.10.r0.gcfd1e75e-1 |
0 |
0.00
|
Minecraft tool to automatically delete unused chunks/region based on the time played in them. |
Kimiblock
|
2024-03-14 14:10 (UTC) |
chunkcleaner
|
0.0.10-1 |
0 |
0.00
|
Minecraft tool to automatically delete unused chunks/region based on the time played in them. |
Kimiblock
|
2024-03-14 14:14 (UTC) |
chromium-extension-clearurls-bin
|
1.27.0-3 |
0 |
0.00
|
a chromium extension to automatically remove tracking elements from URLs to help protect your privacy (binary version) |
noahvogt
|
2024-03-13 10:35 (UTC) |
chromium-extension-clearurls
|
1.27.0-3 |
0 |
0.00
|
a chromium extension to automatically remove tracking elements from URLs to help protect your privacy |
noahvogt
|
2024-03-13 10:31 (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) |
chicken-fancypants
|
0.5-1 |
0 |
0.00
|
Automatic ASCII smart quotes and ligature handling for SXML for Chicken Scheme |
Junker
|
2024-01-02 15:10 (UTC) |
chicken-bind
|
1.2.6-1 |
0 |
0.00
|
Automatically generate bindings from C/C++ declarations for Chicken Scheme |
Junker
|
2024-01-03 10:09 (UTC) |
chdk-acid-bin
|
1.16_2007-2 |
0 |
0.00
|
Tool to identify camera type and firmware version of several Canon compact cameras, and to automatically download the proper CHDK build. |
dreieck
|
2023-01-07 23:06 (UTC) |
certbot-git
|
2.8.0.r6.g926d0c7e0-1 |
26 |
0.00
|
Tool to automatically receive and install X.509 certificates to enable TLS on servers |
edh
|
2024-01-07 23:47 (UTC) |
cavapify-git
|
r15.a2d3160-5 |
0 |
0.00
|
Automatically change the color of the cava visualizer bars according to the color of the current album art of any media player that implements the MPRIS. |
timescam
|
2021-09-01 07:27 (UTC) |
caddy-webdav-git
|
20230822.4776f62c-2 |
0 |
0.00
|
HTTP/2 Web Server with Automatic HTTPS and webdav plugin |
heimoshuiyu
|
2023-08-23 06:13 (UTC) |
caddy-git
|
20210224.b54fa412-1 |
5 |
0.00
|
HTTP/2 Web Server with Automatic HTTPS |
vesath
|
2021-02-25 07:10 (UTC) |
btrfs-autosnap
|
1.1.0-1 |
2 |
0.00
|
Bash script with Pacman hook which help make btrfs root snapshots fast, simple and automatically. |
VVL
|
2022-06-27 09:16 (UTC) |
btattach
|
1-1 |
0 |
0.00
|
Automatically spawn btattach for UART bluetooth adapters |
antoniovazquez
|
2023-08-29 08:52 (UTC) |
breed-enter-rust-git
|
0.1.6.r2.g9519e03-0 |
0 |
0.00
|
A rust version of breedenter, automatically start browser http://192.168.1.1/ when breed is entered. |
taotieren
|
2024-04-05 09:16 (UTC) |
boxbackup-server
|
0.12-3 |
1 |
0.00
|
An open source, completely automatic on-line backup system for UNIX. |
sanerb
|
2016-06-25 21:26 (UTC) |
boxbackup-client
|
0.12-3 |
1 |
0.00
|
An open source, completely automatic on-line backup system for UNIX. |
sanerb
|
2016-06-25 21:26 (UTC) |
blender-rhubarb-lipsync
|
3.0.2-1 |
0 |
0.00
|
Blender Rhubarb Lipsync is an addon for Blender integrating Rhubarb Lip Sync to automatically generate mouth-shape keyframes from a pose library. |
orphan
|
2022-05-01 03:16 (UTC) |
bing-wallpaper-download
|
0.1-1 |
0 |
0.00
|
Automatic daily download of Bing wallpapers |
Bad-Boy
|
2022-05-29 01:49 (UTC) |
bing-wallpaper-download-cn
|
0.1-1 |
0 |
0.00
|
Automatic daily download of Bing wallpapers |
Bad-Boy
|
2022-05-29 01:49 (UTC) |
basicanalysis
|
0.3.9.20210623-1 |
1 |
0.00
|
Framework for automatic extraction of fundamental factors for Paraver traces (from BSC). |
gamezelda
|
2021-06-26 16:08 (UTC) |
awsaml-bin
|
3.1.2-5 |
0 |
0.00
|
An application for providing automatically rotated temporary AWS credentials. |
zxp19821005
|
2024-03-15 09:58 (UTC) |
autovala
|
1.16.0-3 |
1 |
0.00
|
A program that automatically generates CMake and Meson configuration files for your Vala project |
ahmubashshir
|
2021-11-19 14:56 (UTC) |
gedit-autovala
|
1.16.0-3 |
1 |
0.00
|
A program that automatically generates CMake and Meson configuration files for your Vala project |
ahmubashshir
|
2021-11-19 14:56 (UTC) |
autoupdate
|
3-1 |
5 |
0.00
|
Download packages to update automatically. |
philanecros
|
2017-05-09 23:48 (UTC) |
autotiling-git
|
r24.6854508-2 |
3 |
0.00
|
Script for sway and i3 to automatically switch the horizontal / vertical window split orientation |
ruahcra
|
2020-12-04 08:04 (UTC) |
autopkgtest
|
5.30-2 |
0 |
0.00
|
automatic as-installed testing for Debian packages |
weilinfox
|
2023-09-11 04:45 (UTC) |
autopanovideopro
|
2.6.2-1 |
0 |
0.00
|
Stitch and create 360° videos automatically with Autopano Video Pro (trial version). |
Emeric
|
2017-05-31 17:40 (UTC) |
autopanovideo-beta
|
3.0.0.400-2 |
0 |
0.00
|
Stitch and create 360° videos automatically with Autopano Video BETA (trial version). |
Emeric
|
2021-01-07 13:28 (UTC) |
autopanopro
|
4.4.2-1 |
0 |
0.00
|
Create beautiful panoramas by stitching multiple photos automatically with Autopano Pro (trial version). |
Emeric
|
2018-09-13 12:19 (UTC) |
autopanogiga
|
4.4.2-3 |
8 |
0.00
|
Create beautiful panoramas by stitching multiple photos automatically with Autopano Giga (trial version). |
FoolEcho
|
2021-03-14 10:30 (UTC) |
autonumlock
|
1.2.4-1 |
0 |
0.00
|
Automatically enables Numlock for external keyboard. Can also execute custom commands, like 'xmodmap'. |
MightyPork
|
2017-11-03 16:03 (UTC) |