isabelle-tum
|
2021_1-1 |
1 |
0.00
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (UTC) |
hustmirror-cli-git
|
1.1.4.r6.g4314ffe-1 |
1 |
0.57
|
The command line tool (hustmirror-cli) is a small tool that can help you quickly change sources to HUST mirror sources. |
TurtleRuss
|
2024-05-23 15:52 (UTC) |
hustmirror-cli
|
1.1.4-1 |
1 |
0.14
|
The command line tool (hustmirror-cli) is a small tool that can help you quickly change sources to HUST mirror sources. |
TurtleRuss
|
2024-05-08 17:31 (UTC) |
guiscrcpy-appimage
|
2023.1.1-7 |
1 |
0.00
|
A full fledged GUI integration for the award winning open-source android screen mirroring system |
orphan
|
2023-11-14 07:24 (UTC) |
grokmirror
|
2.0.11-1 |
1 |
0.00
|
Framework to smartly mirror git repositories |
Tharre
|
2021-12-16 15:56 (UTC) |
eclipse-embedcpp
|
4.31-1 |
1 |
0.00
|
Eclipse IDE for Embedded C/C++ Developers(Chinese Mirror) |
ufbycd
|
2024-04-26 14:32 (UTC) |
cpdup
|
1.22-1 |
1 |
0.00
|
Tool to mirror filesystems retaining permissions, flags, ownership, and utimes |
m3thodic
|
2021-04-15 15:01 (UTC) |
bdebstrap
|
0.6.1-1 |
1 |
0.57
|
YAML config based multi-mirror Debian chroot creation tool |
jaxvanyang
|
2024-03-15 02:39 (UTC) |
abiword-git
|
1:3.1.0.20718.7ad0a0e9e-1 |
1 |
0.00
|
Fully-featured word processor from official gnome gitlab mirror |
orphan
|
2022-10-31 15:20 (UTC) |
wl-mirror-git
|
0.16.2.r0.g2abe912-2 |
0 |
0.00
|
a simple Wayland output mirror client |
yrlf
|
2024-03-04 08:12 (UTC) |
vimirror
|
1.0.2-2 |
0 |
0.00
|
A simple utility to change, test, and use mirrors |
jdev082
|
2022-07-15 16:25 (UTC) |
vertex-maia-icon-theme
|
20160526-2 |
0 |
0.00
|
Icons matching Vertex Maia themes, based on Menda Circle (Mirrored onto AUR) |
illuser
|
2022-04-26 18:22 (UTC) |
tunasync-git
|
20200917-1 |
0 |
0.00
|
Mirror job management tool developed by TUNA |
nicholascw
|
2020-10-03 02:42 (UTC) |
tunasync-bin
|
0.8.0-4 |
0 |
0.00
|
Mirror job management tool developed by TUNA |
zxp19821005
|
2024-02-27 08:21 (UTC) |
tunasync
|
0.8.0-1 |
0 |
0.00
|
Mirror job management tool. |
chuangzhu
|
2021-09-02 14:45 (UTC) |
the-mirror-bin
|
6.1.101-1 |
0 |
0.00
|
Open-source Roblox & UEFN alternative built on Godot and NestJS |
fox-aur
|
2024-05-25 17:45 (UTC) |
syncrepo
|
20191211-1 |
0 |
0.00
|
A service and timer to sync an archlinux mirror |
Neal
|
2019-12-11 18:52 (UTC) |
sl-alt
|
0.1-1 |
0 |
0.00
|
Mirror the output of ls |
bobpaul
|
2018-03-30 16:35 (UTC) |
scaramanga
|
0.3.4-1 |
0 |
0.00
|
Pacman Mirrorlist generator wrapper written in Rust |
shempignon
|
2024-06-04 10:12 (UTC) |
rssfs
|
r22.7c77092-1 |
0 |
0.00
|
Mirror RSS and Atom feeds as file systems |
nikto_b
|
2020-07-03 17:51 (UTC) |
reposync-zextras
|
0.9.1-1 |
0 |
0.00
|
Mirrors Debian and RedHat repositories to an AWS S3 bucket (with Cloudfront support) or a local directory |
robertfoster
|
2023-01-04 11:18 (UTC) |
regclient-regsync
|
0.4.7-0 |
0 |
0.00
|
Utility for mirroring docker repositories |
gebi
|
2023-03-10 22:45 (UTC) |
qrookie-vrp
|
0.2.4-1 |
0 |
0.00
|
Download and install Quest games from ROOKIE Public Mirror |
glaumar
|
2024-05-12 14:58 (UTC) |
python-torrentmirror
|
2.0.3-2 |
0 |
0.00
|
Torrentmirror python library and CLI access |
BachoSeven
|
2023-08-28 12:47 (UTC) |
python-pre-commit-mirror-maker
|
1.9.0-1 |
0 |
0.00
|
Scripts for creating mirror repositories that do not have .pre-commit-hooks.yaml |
Freed
|
2023-03-10 16:41 (UTC) |
python-mbslave-git
|
r334.d32e188-2 |
0 |
0.00
|
MusicBrainz database mirror |
Freso
|
2023-08-04 20:16 (UTC) |
pavuk
|
0.9.35-1 |
0 |
0.00
|
UNIX program used to mirror the contents of WWW documents or files. |
helsotainer
|
2018-06-02 22:13 (UTC) |
panamax-git
|
r194.2024b5b-1 |
0 |
0.00
|
Mirror rustup and crates.io repositories, for offline Rust and cargo usage |
atticf
|
2024-05-11 08:29 (UTC) |
pacman-mirrors-helper-git
|
r94.f5340a4-1 |
0 |
0.00
|
A convenient tool, designed to simplify repository management and mirror selection. |
ApplicationMaker
|
2024-03-15 09:21 (UTC) |
nodejs-local-npm
|
2.2.2-1 |
0 |
0.00
|
Local and offline-first npm mirror. |
bgaleotti
|
2018-08-01 15:01 (UTC) |
mirrorshades
|
0.2.0-1 |
0 |
0.00
|
A tool for mirroring data from remote sources. |
paulbarker
|
2022-04-30 14:26 (UTC) |
mirrormagic-bin
|
3.1.0-1 |
0 |
0.00
|
Arcade style game like Deflektor (C64) or Mindbender (Amiga). |
SanskritFritz
|
2023-02-01 20:10 (UTC) |
mirrord-bin
|
3.95.0-1 |
0 |
0.00
|
Run your service in the context of your cloud environment. |
komex
|
2024-04-03 09:03 (UTC) |
mirror-sync-git
|
1.3.8.r3.a15df13-1 |
0 |
0.00
|
A tool for real-time, two-way sync for remote (e.g. desktop/laptop) development |
orphan
|
2020-03-07 07:58 (UTC) |
mirror
|
0.8.2-3 |
0 |
0.00
|
rsync scheduler for open source mirror site |
ideal
|
2021-12-30 15:12 (UTC) |
mirro-rs-git
|
r158.d3c3066-1 |
0 |
0.00
|
An Arch Linux mirrorlist management tool with a TUI |
rtkay123
|
2023-11-14 09:17 (UTC) |
lsyncd-git
|
2.3.0.r0.gf02bf70-1 |
0 |
0.00
|
Live Syncing (Mirror) Daemon - development version |
dylif
|
2022-06-13 23:37 (UTC) |
hangar-git
|
v1.7.1.r9.ga91579b-1 |
0 |
0.00
|
Command line utility to mirror container images |
STARRY-S
|
2024-04-07 02:56 (UTC) |
hangar-bin
|
1.6.0-1 |
0 |
0.00
|
mirror multi-arch container images & generate image-list for Rancher. |
STARRY-S
|
2023-05-27 15:57 (UTC) |
hangar
|
1.7.3-1 |
0 |
0.00
|
Command line utility to mirror container images |
STARRY-S
|
2024-04-21 08:50 (UTC) |
gitmirror
|
1.0.0-1 |
0 |
0.00
|
Auto sync GitHub to GitLab |
orphan
|
2020-08-24 02:04 (UTC) |
git-mirrorer
|
1.1.3-1 |
0 |
0.00
|
To mirror git repos, and archive and checkout them with submodules included implicitly. |
7Ji
|
2024-05-23 02:02 (UTC) |
flacsync-git
|
0.3.2.r4.gfe95e74-3 |
0 |
0.00
|
Recursively mirror a directory tree of FLAC audio files to AAC/OGG |
orphan
|
2019-11-27 22:20 (UTC) |
fetchmirrorsgui
|
1.4-1 |
0 |
0.00
|
standalone with gui populator for /etc/pacman.d/mirrorslist |
andybrookestar
|
2021-10-10 12:34 (UTC) |
fbmirrors
|
0.0.3-2 |
0 |
0.00
|
Arch mirror list generator |
bomgar
|
2024-02-13 14:24 (UTC) |
boot-mirror
|
1.0-1 |
0 |
0.00
|
Mirror /boot directory on kernel upgrades |
m42a
|
2016-06-18 18:00 (UTC) |
automirror-git
|
1:r54.20210616.f0af34a-1 |
0 |
0.00
|
An xrandr-wrapper that automatically configures the attached monitors in a mirror configuration that is optimized for the primary display and makes all other outputs scale to that. |
dreieck
|
2023-10-31 18:19 (UTC) |