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

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

pfalcon/ssabook

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled…

ncatlab/nlab-content

A file-based mirror of the nLab wiki (Markdown+itex2MML format).

git-for-windows/git-sdk-64

A Git repository mirroring the current 64-bit Git for Windows SDK

jonsterling/ocaml-forester

Mirror of ocaml-forester

tezos/tezos-mirror

Github test mirror of the Octez software. Please do not submit pull-requests here!