• Repository for the Stacks Project

    TeX 211 71 Updated Aug 15, 2018
  • A front-end for the Stacks project listing properties and their preservation under some action

    PHP 1 2 Updated Jul 27, 2018
  • Tools for managing the TeX sources of the Stacks project

    Python 9 4 Updated May 22, 2018
  • stacks-website Archived

    The website for the Stacks project

    PHP 19 11 GPL-2.0 Updated May 22, 2018
  • Scripts to find a record of changes of tags in the Stacks project

    Python 1 Updated May 16, 2018
  • HTML Updated Aug 9, 2017
  • 1 Updated Nov 10, 2016
  • Updated Sep 12, 2016
  • A scatter plot for the growth of the Stacks project

    CSS Updated Jun 28, 2015
  • Include snippets from the Stacks project directly using LaTeX

    TeX 1 1 3 issues need help Updated Jul 22, 2014
  • Write slogans for results in the Stacks project and earn eternal awesomeness

    PHP Updated Jul 22, 2014
  • The staging ground for the dependency graphs in the new version of the Stacks website

    Python 1 1 Updated Jun 10, 2013