isabelle-prover/mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle

mozillazg/pypy

The unofficial GitHub mirror of PyPy (mirrored via https://github.com/mozillazg/job-mirror-hg-repos)

notmuch/notmuch

mirror of the http://git.notmuchmail.org/git/notmuch repository

LMDB/lmdb

Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use…

guix-mirror/guix

Obsolete mirror of GNU Guix. Pull requests are ignored. Go to https://codeberg.org/guix/guix…

forthy42/gforth

Gforth mirror on GitHub (original is on Savannah)

archlinux/aur

⚠️⚠️Experimental aur.git mirror⚠️⚠️ (read-only mirror)

git/htmldocs

Pre-built HTML Git documentation