Pinned Repositories
archlinux-community
Arch Linux Community Packages, git clone of the 'community' repository. (Mirror of projects.archlinux.org/svntogit/community.git)
cubical-demo
DSLsofMath
Domain-Specific Languages of Mathematics
EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
mtac-plugin
Plugin for Coq 8.5
OrdinalNotations
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
synthetic-geometry
Synthetic geometry. Probably mostly algebraic geometry.
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
bafain's Repositories
bafain/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
bafain/archlinux-community
Arch Linux Community Packages, git clone of the 'community' repository. (Mirror of projects.archlinux.org/svntogit/community.git)
bafain/cubical-demo
bafain/DSLsofMath
Domain-Specific Languages of Mathematics
bafain/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
bafain/mtac-plugin
Plugin for Coq 8.5
bafain/OrdinalNotations
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
bafain/synthetic-geometry
Synthetic geometry. Probably mostly algebraic geometry.